| Record ID | harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:494151033:1231 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.11.20150123.full.mrc:494151033:1231?format=raw |
LEADER: 01231nam a2200325 a 4500
001 011541628-5
005 20090417050338.0
008 080619s2008 gw a b 101 0 eng d
016 7 $a989263835$2GyFmDB
020 $a9783540705437
020 $a3540705430
035 0 $aocn244038683
040 $aGWDNB$erakwb$bger$cGWDNB
082 04 $a004.21015113$2DDC22ger
082 04 $a005.12015113$2DDC22ger
082 04 $a004.24$2DDC22ger
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, NY :$bSpringer$cc2008
300 $axvii, 558 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v5123
440 0 $aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues
504 $aIncludes bibliographical references and index.
650 0 $aComputer software$xVerification$vCongresses.
650 0 $aIntegrated circuits$xVerification$vCongresses.
700 1 $aGupta, Aarti.
700 1 $aMalik, Sharad.
988 $a20080819
906 $0OCLC