LEADER 01494nam--2200385---45--
001 990000463190203316
010   $a3-540-41865-2
035   $a0046319
035   $aUSA010046319
035   $a(ALEPH)000046319USA01
035   $a0046319
100   $a20010523d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aTools and algorithms for the construction and analysis of systems$e7th Internationa conference, TACAS 2001$eEuropean conferences on theory and practice of software, ETAPS 2001$eGenova, italy, April 2-6, 2001$eproceedings$fTiziana Magaria ... [et al.] (eds.)
210   $aBerlino [etc.]$sSpringer - Verlag$dcopyr. 2001
215   $aXIV, 588 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2031
410   $12001$aLecture notes in computer science$v2031
610 1 $aSistemi$aProgettazione$aCongressi 2001
610 1 $aCongressi$aGenova$a2001
676   $a004.2
702  1$aMargaria,$bTiziana
710 12$aInternational Conference, TACAS <7. ; 2001 ; Genova ; Italy>$0545292
801  0$aITA$bCBS$gISBD
912   $a990000463190203316
951   $a001 LNCS (2031)$b0026376 CBS$c001$d00104680
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20010523$lUSA01$h1007
979   $aALANDI$b90$c20010614$lUSA01$h1655
979   $c20020403$lUSA01$h1654
979   $aPATRY$b90$c20040406$lUSA01$h1632
996   $aTools and algorithms for the construction and analysis of systems$9889397
997   $aUNISA