| Record ID | marc_columbia/Columbia-extract-20221130-014.mrc:68078547:1822 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-014.mrc:68078547:1822?format=raw |
LEADER: 01822cam a2200385Ia 4500
001 6800221
005 20221122052504.0
008 080620s2008 gw a b 101 0 eng d
020 $a9783540705437 (pbk.)
020 $a3540705430 (pbk.)
029 0 $aOHX$bhar085012990
035 $a(OCoLC)ocn232569765
035 $a(OCoLC)232569765
035 $a(NNC)6800221
035 $a6800221
040 $aOHX$cOHX$dBTCTA$dNNC
050 4 $aQA76.76.V47$bC38 2008
072 7 $aQA$2lcco
111 2 $aCAV (Conference)$n(20th :$d2008 :$cPrinceton, N.J.)
245 10 $aComputer aided verification :$b20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings /$cAarti Gupta, Sharad Malik (eds.).
246 30 $aCAV 2008
260 $aBerlin ;$aNew York :$bSpringer,$c2008.
300 $axvii, 558 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science,$x0302-9743 ;$v5123
490 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues
504 $aIncludes bibliographical references and index.
650 0 $aComputer software$xVerification$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2009121254
650 0 $aIntegrated circuits$xVerification$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008123906
700 1 $aGupta, Aarti,$cDr.$0http://id.loc.gov/authorities/names/no2007096691
700 1 $aMalik, Sharad.$0http://id.loc.gov/authorities/names/n93083890
830 0 $aLecture notes in computer science ;$v5123.$0http://id.loc.gov/authorities/names/n42015162
830 0 $aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues.$0http://id.loc.gov/authorities/names/no2007042902
852 00 $boff,eng$hQA76.76.V47$iC38 2008g