LEADER 01300nam--2200373---450-
001 990002997870203316
005 20071023120925.0
010   $a3-540-69735-0
035   $a000299787
035   $aUSA01000299787
035   $a(ALEPH)000299787USA01
035   $a000299787
100   $a20071023d2007----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aVerification, Model Checking, and Abstract Interpretation$e8th International Conference, VMCAI 2007$eNice, France, January 14-16, 2007$eproceedings$fByron Cook, Andreas Podelski(Ed.)
210   $aBerlin$cSpringer$d[c2007]
215   $aXI, 394 p.$cill.$d20 cm
225 2 $aLecture Notes in Computer Science$v4349
410   $12001$aLecture Notes in Computer Science$v4349
606 0 $aProgrammazione$xCongressi$yNice$z2007
676 00$a005.1
702   $aCOOK,$bByron
702   $aPODELSKI,$bAndreas
710   $aInternational Conference, VMCAI 2007$d<8. ;$f2007 ;$eNice>$0598890
801  0$aIT$bsalbc$gISBD
912   $a990002997870203316
951   $a001 LNCS 4349$b34530/CBS$c001$d00216090
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20071023$lUSA01$h1209
996   $aVerification, Model Checking, and Abstract Interpretation$91028653
997   $aUNISA