| Record ID | marc_loc_2016/BooksAll.2016.part37.utf8:100770919:736 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part37.utf8:100770919:736?format=raw |
LEADER: 00736cam a2200229 a 4500
001 2009930147
003 DLC
005 20110505083654.0
008 090605s2009 ne a b 001 0 eng
010 $a 2009930147
020 $a9781441909671 (acid-free paper)
020 $a9781441909688 (ebook)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aTK7874.58$b.G53 2010
100 1 $aGlasser, Mark.
245 10 $aOpen verification methodology cookbook /$cMark Glasser.
260 $aDordrecht ;$aNew York :$bSpringer,$cc2009.
300 $axx, 235 p. :$bill. ;$c25 cm.
504 $aIncludes bibliographical references (p. [221]-222) and index.
650 0 $aIntegrated circuits$xVerification.
650 0 $aComputer software$xVerification.