LEADER 01553nam--2200397---450-
001 990000338600203316
010   $a3-540-67282-6
035   $a0033860
035   $aUSA010033860
035   $a(ALEPH)000033860USA01
035   $a0033860
100   $a20010208d2000----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aTools and algorithms for the construction and analysis of systems$e6th international conference, TACAS 2000$eheld as part of the Joint European conferences on theory and practice of software, ETAPS 2000$eBerlin, Germany, March 25 - April 2, 2000$eproceedings$fSusanne Graf ...<et al.> (eds.)
210   $aBerlin$cSpringer-Verlag$dc2000
215   $aXIV, 552 p.$cill.$d25 cm
225 2 $aLecture notes in computer science$v1785
410   $12001$aLecture notes in computer science$v1785
461  1$1001-------$12001
610 0 $aProgettazione dei sistemi$xCongressi$z2000
610 0 $aSoftware$xSviluppo$xCongressi$z2000
610 0 $aCongressi$yBerlino$z2000
702  1$aGRAF,$bSusanne
710 12$aInternational conference, TACAS 2000 <6.; 2000; Berlin>$0542951
801  0$aIT$bsalbc$gISBD
912   $a990000338600203316
951   $a001 LNCS (1785)$bCBS 0025045$c001 LNCS$d00100094
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010208$lUSA01$h1446
979   $c20020403$lUSA01$h1641
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aTools and algorithms for the construction and analysis of systems$9877949
997   $aUNISA