LEADER 01361nam--2200349---450-
001 990003002010203316
005 20071030112610.0
010   $a3-540-25333-5
035   $a000300201
035   $aUSA01000300201
035   $a(ALEPH)000300201USA01
035   $a000300201
100   $a20071030d2005----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aTools and algorithms for the construction and analysis of systems$e11th International Conference, TACAS 2005$eheld as part of the joint european conferences$eon theory and practice of software, ETAPS 2005$eEdinburgh, UK, April 4-8, 2005$eproceedings$fNicolas Halbwachs, Lenore S. Zuck(eds.)
210   $aBerlin [etc.]$cSpringer$d[c2005]
215   $aXVI, 506 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v3440
410  0$12001$aLecture notes in computer science$v3440
702  1$aHERMANNS,$bHolger
702  1$aPALSBERG,$bJens
710 12$aInternational Conference, TACAS 2005$d<11. ;$f2005 ;$eEdinburgh>$0598999
801  0$aIT$bsalbc$gISBD
912   $a990003002010203316
951   $a001 LNCS 3440$b31869/CBS$c001 LNCS$d00112496
959   $aSP
969   $aSCI
979   $aSENATORE$b90$c20071030$lUSA01$h1126
996   $aTools and algorithms for the construction and analysis of systems$91024031
997   $aUNISA