LEADER 01134nam2-2200337li-450 
001 990000193610203316
005 20180312154720.0
010   $a3-540-66588-9
035   $a0019361
035   $aUSA010019361
035   $a(ALEPH)000019361USA01
035   $a0019361
100   $a20001109d1999----km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aFM'99 - formal methods$vVol 2
210   $dCopyr. 1999
215   $aXVIII, 1875 p
461  0$10010019362$12001$aFM'99 - formal methods$eWorld congress on formal methods in the development of computing systems$eToulouse, France, September 20-24, 1999$eproceedings$fJeannette M. Wing ... [et al.] (eds.)
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000193610203316
951   $a001 LNCS (1709)$b0024051$c001$d00104300
959   $aBK
969   $aSCI
979   $c19990109
979   $c20001110$lUSA01$h1713
979   $aALANDI$b90$c20010209$lUSA01$h1749
979   $c20020403$lUSA01$h1627
979   $aPATRY$b90$c20040406$lUSA01$h1614
996   $aFM'99 - formal methods$91501849
997   $aUNISA