| Record ID | marc_loc_2016/BooksAll.2016.part28.utf8:17505951:1120 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part28.utf8:17505951:1120?format=raw |
LEADER: 01120cam a22002654a 4500
001 99051458
003 DLC
005 20080308085822.0
008 991005s1999 gw a 101 0 eng
010 $a 99051458
020 $a3540665595 (pbk.)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aTK7874.75$b.C453 1999
082 00 $a621.3815$221
111 2 $aCHARME'99$d(1999 :$cBad Herrenalb, Germany)
245 10 $aCorrect hardware design and verification methods :$b10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /$cLaurence Pierre, Thomas Kropf (eds.).
260 $aBerlin :$aNew York :$bSpringer,$c1999.
300 $axi, 366 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v1703
650 0 $aIntegrated circuits$xVery large scale integration$xComputer-aided design$vCongresses.
650 0 $aIntegrated circuits$xVerification$vCongresses.
700 1 $aPierre, Laurence.
700 1 $aKropf, Thomas,$d1961-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0816/99051458-d.html