| Record ID | marc_columbia/Columbia-extract-20221130-014.mrc:72717719:1496 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-014.mrc:72717719:1496?format=raw |
LEADER: 01496cam a2200361Ia 4500
001 6827455
005 20221122053023.0
008 080620s2008 gw a b 111 0 eng d
010 $a 2008929605
020 $a9783540698494 (pbk.)
020 $a3540698493 (pbk.)
029 0 $aOHX$bhar085012979
035 $a(OCoLC)ocn232569762
035 $a(OCoLC)232569762
035 $a(NNC)6827455
035 $a6827455
040 $aOHX$cOHX$dBTCTA$dYDXCP$dBAKER$dTXH$dCUY
050 4 $aQA76.76.V47$bT88 2008
072 7 $aQA$2lcco
245 00 $a25 years of model checking :$bhistory, achievements, perspectives /$cOrna Grumberg, Helmut Veith (eds.).
260 $aBerlin :$bSpringer,$c2008.
300 $avi, 230 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science,$x0302-9743 ;$v5000
490 1 $aLNCS. Festschrift
504 $aIncludes bibliographical references and index.
650 0 $aComputer systems$xVerification.$0http://id.loc.gov/authorities/subjects/sh2008002946
700 1 $aGrumberg, Orna.$0http://id.loc.gov/authorities/names/nb97057888
700 1 $aVeith, Helmut.$0http://id.loc.gov/authorities/names/nb2008015378
830 0 $aLecture notes in computer science.$pFestschrift.$0http://id.loc.gov/authorities/names/no2005044237
830 0 $aLecture notes in computer science ;$v5000.$0http://id.loc.gov/authorities/names/n42015162
852 00 $beng$hQA76.76.V47$iT88 2008g