Etiqueta de registo: 00230nam 2200025 450
001 1793430
003 http://id.bnportugal.gov.pt/bib/catbnp/1793430
100 ## $a20111031d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aStatically proving behavioural properties in the pi-calculus via dependency analysis$fMaxime Emile Gamboni$gorient. António Maria Lobo César Alarcão Ravara, Carlos Manuel Costa Lourenço Caleiro
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $aX, 168 p.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 121-123
328 #1 $aTese dout. Mathematics, Instituto Superior Técnico, Univ. Técnica de Lisboa, 2010
675 ## $a519.6/.7(043)$vBN$zpor$31246935
700 #1 $aGamboni,$bMaxime Emile$31472910
702 #1 $aRavara,$bAntónio$4727$3267745
702 #1 $aCaleiro,$bCarlos,$f1970-$4727$3221905
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 53087 P.$x1
966 ## $lBN$mFGMON$sS.A. 145732 V.$x1