| Record ID | marc_loc_updates/v36.i11.records.utf8:13452699:1451 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i11.records.utf8:13452699:1451?format=raw |
LEADER: 01451cam a22003497a 4500
001 2006939067
003 DLC
005 20080311115355.0
008 061122s2007 gw a b 001 0 eng d
010 $a 2006939067
020 $a9783540689775 (pbk.)
020 $a354068977X (pbk.)
035 $a(OCoLC)ocm78203745
040 $aOHX$cOHX$dCUS$dYDXCP$dBAKER$dDLC
042 $alccopycat
050 00 $aQA76.76.V47$bV474 2007
072 7 $aQA$2lcco
082 00 $a005.1/4$222
245 00 $aVerification of object-oriented software :$bthe KeY approach /$cBernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.) ; foreword by K. Rustan M. Leino.
260 $aBerlin ;$aNew York :$bSpringer,$cc2007.
300 $axxix, 658 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4334.$aLecture notes in artificial intelligence
504 $aIncludes bibliographical references (p. [627]-643) and index.
650 0 $aComputer software$xVerification.
650 0 $aObject-oriented methods (Computer science)
650 0 $aJava (Computer program language)
700 1 $aBeckert, Bernhard.
700 1 $aHähnle, Reiner.
700 1 $aSchmitt, P. H.$q(Peter H.),$d1948-
830 0 $aLecture notes in computer science ;$v4334.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2006939067-d.html