LEADER 01264nam2-2200373---450-
001 990000351310203316
035   $a0035130
035   $aUSA010035130
035   $a(ALEPH)000035131USA01
035   $a0035130
100   $a20010307d1985----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aFormal methods and software development$ecolloquium on software engineering (CSE)
210   $aBerlin$cSpringer Verlag$dc1985
215   $aXIV, 455 p$cdiagr.$d24 cm
225 2 $aLecture notes in computer science$v186
410   $12001$aLecture notes in computer science$v186
461  1$10010035129$12001$aTAPSOFT
676   $a001.6425
710 12$aInternational joint conference on theory and practice of software development <Berlino; 1985>$0543210
801  0$aIT$bsalbc$gISBD
912   $a990000351310203316
951   $a001 LNCS 186$b14055$c001 LNCS$d00101516
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010307$lUSA01$h1341
979   $aPATTY$b90$c20010307$lUSA01$h1343
979   $aPATTY$b90$c20010307$lUSA01$h1343
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aFormal methods and software development$9878456
997   $aUNISA