LEADER 01587nam--2200421---450-
001 990000337890203316
010   $a3-540-67257-5
035   $a0033789
035   $aUSA010033789
035   $a(ALEPH)000033789USA01
035   $a0033789
100   $a20010207d2000----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aFoundations of software science and computation structures$eThird international conference, FOSSACS 200$eheld as part of the Joint European conferences on theory and practice of software, ETAPS 2000$eBerlin, Germany, March 25 - April 2, 2000$eproceedings$fJerzy Tiuryn (ed.)
210   $aBerlin$cSpringer-Verlag$dc2000
215   $aX, 390 p.$cill.$d25 cm
225 2 $aLecture notes in computer science$v1784
410   $12001$aLecture notes in computer science$v1784
461  1$1001-------$12001
610 0 $aSoftware$aCongressi$a2000
610 0 $aAnalisi dei sistemi$aCongressi$a2000
610 0 $aCongressi$aBerlino$a2000
676   $a005.1
702  1$aTIURYN,$bJerzy
710 12$aInternational conference, FOSSACS 2000 <3. ; 2000; Berlino>$0542914
801  0$aIT$bsalbc$gISBD
912   $a990000337890203316
951   $a001 LNCS (1784)$bCBS 0025044$c001 LNCS$d00100093
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010207$lUSA01$h1754
979   $aALANDI$b90$c20010326$lUSA01$h1202
979   $c20020403$lUSA01$h1641
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aFoundations of software science and computation structures$9878025
997   $aUNISA