| Record ID | marc_loc_2016/BooksAll.2016.part34.utf8:96097940:1257 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part34.utf8:96097940:1257?format=raw |
LEADER: 01257cam a22003377a 4500
001 2006934115
003 DLC
005 20080312090206.0
008 060906s2006 gw a b 101 0 eng d
010 $a 2006934115
016 7 $a981257240$2GyFmDB
020 $a3540472371 (pbk.)
020 $a9783540472377 (pbk.)
035 $a(OCoLC)ocm74270427
035 $a(OCoLC)74270427
040 $aOHX$cOHX$dCUS$dBAKER$dYDXCP$dDLC
042 $alccopycat
050 00 $aQA76.9.A96$bA82 2006
072 7 $aQA$2lcco
082 00 $a004.01/5113$222
111 2 $aATVA 2006$d(2006 :$cBeijing, China)
245 10 $aAutomated technology for verification and analysis :$b4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /$cSusanne Graf, Wenhui Zhang (eds.).
246 30 $aATVA 2006
260 $aBerlin ;$aNew York :$bSpringer,$cc2006.
300 $axiv, 540 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v4218
504 $aIncludes bibliographical references and index.
650 0 $aAutomatic theorem proving$vCongresses.
700 1 $aGraf, Susanne.
700 1 $aZhang, Wenhui,$d1963-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2006934115-d.html