LEADER 01322nam--2200409---450-
001 990002967780203316
005 20070903125317.0
010   $a3-540-68977-5
035   $a000296778
035   $aUSA01000296778
035   $a(ALEPH)000296778USA01
035   $a000296778
100   $a20070903d2007----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aVerification of object-oriented software$ethe keY Approach$fBernhard Beckert...[et al.](Eds.)$gforeword by K. Rustan, M. Leino
210   $aBerlin [etc.]$cSpringer$dcopyr. 2007
215   $aXXIX, 658 p.$cill.$d24 cm
225 2 $aLecture notes in artificial intelligence$iAI Systems$v4334
225   $aLecture notes in computer science
410  0$12001$aLecture notes in artificial intelligence$iAI Systems$v4334
454  1$12001
461  1$1001-------$12001
606 0 $aIntelligenza Artificiale
676   $a006.3
700  1$aBECKERT,$bBernhard$0598170
702  1$aRUSTAN,$bK.
702  1$aLEINO,$bM.
801  0$aIT$bCBS$gISBD
912   $a990002967780203316
951   $a006.3 LNAI 4334$b34534/CBS$c006.3$d00215543
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070903$lUSA01$h1253
996   $aVerification of object-oriented software$91026574
997   $aUNISA