Etiqueta de registo: 00000nlm 2200025 450
001 1917835
003 http://id.bnportugal.gov.pt/bib/catbnp/1917835
100 ## $a20151214d2007 k y0pory01030103ba
101 0# $aengspaengeng
102 ## $aIT
106 ## $as
200 1# $aSecure Implementations of Typed Channel Abstractions $bRecurso eletrónico]$fMarco Giunti$g[orient.] Michele Bugliesi
210 #9 $aVenezia$c[s.n.],$d2007$e[Lisboa] :$gDireção-Geral do Ensino Superior)
215 ## $a1 disco ótico (CD-ROM) em bolsa$cil.$d13 x 13 cm
230 ## $aProdutos de computador
304 ## $aTít. retirado do primeiro ecrã informativo
320 ## $aContém bibliografia
328 #1 $aTese dout. Ricerca in Informatica, Dipartimento di Informatica, Università Ca' Foscari di Venezia, 2007
336 ## $aDados textuais e imagens
675 ## $a004.8(043)(0.034)$vBN$zpor$31368129
675 ## $a519.71(043)(0.034)$vBN$zpor$31630668
700 #1 $aGiunti,$bMarco$31629517
702 #1 $aBugliesi,$bMichele$4727$31629519
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 22281 P.$x1