LEADER 01589nam--2200397---45--
001 990000420190203316
010   $a3-540-41864-4
035   $a0042019
035   $aUSA010042019
035   $a(ALEPH)000042019USA01
035   $a0042019
100   $a20010430d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aFoundations of software science and computation structures$e4th International conference, FOSSACS 2001 held as part of the joint European confereces on theory and practice of software, ETAPS 2001$eGenova, Italy, April 2-6, 2001$eproceedings$fFurio Honsell ... [et.al.] (eds.)
210   $aBerlin [etc.]$cSpringer - Verlag$dcopyr. 2001
215   $aXII, 412 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2030
410   $12001$aLecture notes in computer science$v2030
610 1 $aSoftware$aCongressi$a2001
610 1 $aCongrssi$aGenova$a2001
676   $a005.1
702  1$aHonsell,$bFurio
710 12$aInternational conference, FOSSACS 2001 <4. ; 2001 ; Genova, Italia>$0544728
712 12$aEuropean conferences on theory and practice of software, ETAPS <2001 ; Genova>
801  0$aITA$bCBS$gISBD
912   $a990000420190203316
951   $a001 LNCS (2030)$b0026375 CBS$c001$d00104685
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20010430$lUSA01$h1028
979   $aALANDI$b90$c20010612$lUSA01$h1227
979   $c20020403$lUSA01$h1650
979   $aPATRY$b90$c20040406$lUSA01$h1629
996   $aFoundations of software science and computation structures$9873327
997   $aUNISA