LEADER 01447nam--2200361---45--
001 990001116210203316
005 20021216121406.0
010   $a3-540-43419-4
035   $a000111621
035   $aUSA01000111621
035   $a(ALEPH)000111621USA01
035   $a000111621
100   $a20021216d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aTools and algorithms for the construction and analysis of systems$e8th Internationa conference, TACAS 2002$eHeld as part of the joint european conference on theory and practice of software, ETAPS 2002$eGrenoble, France, April 8-12, 2002$eproceedings$fJoost-Pieter Katoen... [et al.] (eds.)
210   $aBerlin [etc.]$sSpringer - Verlag$dcopyr. 2002
215   $aXIV, 482 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2280
410   $12001$aLecture notes in computer science$v2280
610 1 $aSistemi$aProgettazione$aCongressi 2002
676   $a004.2
702  1$aKatoen,$bJoost-Pieter
710 12$aInternational Conference, TACAS 2002 <8. ; 2002 ; Grenoble ; France>$0554541
801  0$aITA$bCBS$gISBD
912   $a990001116210203316
951   $a001 LNCS (2280)$b0026824 CBS$c001$d00112091
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021216$lUSA01$h1214
979   $aPATRY$b90$c20040406$lUSA01$h1717
996   $aTools and algorithms for the construction and analysis of systems$9981401
997   $aUNISA