LEADER 01482nam--2200373---450-
001 990002415780203316
005 20050502184942.0
010   $a3-540-21299-X
035   $a000241578
035   $aUSA01000241578
035   $a(ALEPH)000241578USA01
035   $a000241578
100   $a20050502d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aTools and algorithms for the construction and analysis of systems$e10th International Conference, TACAS 2004$eheld as part of the joint european conferences$eon theory and practice of software, ETAPS 2004$eproceedings$fKurt Jensen, Andreas Podelski (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aXIV, 608 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v2988
410  0$12001$aLecture notes in computer science$v2988
702  1$aJENSEN,$bKurt
702  1$aPODELSKI,$bAndreas
710 12$aInternational conference on tools and algorithms for the construction and analysis of systems$d<10.;$f2004;$eBarcelona>$0572678
801  0$aIT$bsalbc$gISBD
912   $a990002415780203316
951   $a001 LNCS 2988$b31071/CBS$c001 LNCS$d00114844
959   $aSP
969   $aSCI
979   $aANGELA$b90$c20050502$lUSA01$h1214
979   $aANGELA$b90$c20050502$lUSA01$h1848
979   $aANGELA$b90$c20050502$lUSA01$h1849
996   $aTools and algorithms for the construction and analysis of systems$91066007
997   $aUNISA