Record ID | marc_loc_updates/v38.i07.records.utf8:1859602:1158 |
Source | Library of Congress |
Download Link | /show-records/marc_loc_updates/v38.i07.records.utf8:1859602:1158?format=raw |
LEADER: 01158cam a2200289 a 4500
001 97017153
003 DLC
005 20100212092148.0
008 970501s1997 nyua b 000 0 eng
010 $a 97017153
020 $a3540620079
040 $aDLC$cDLC$dDLC
050 00 $aTK7874.65$b.P73 1997
082 00 $a621.39/2$221
245 00 $aPractical formal methods for hardware design /$cC. Delgado Kloos, W. Damm (Eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc1997.
300 $axiv, 293 p. :$bill. ;$c24 cm.
440 0 $aResearch reports ESPRIT.$nProject 6128,$pFORMAT ;$vv. 1
504 $aIncludes bibliographical references.
650 0 $aDigital integrated circuits$xDesign and construction$xMethodology.
650 0 $aLogic circuits$xDesign and construction$xMethodology.
650 0 $aComputer hardware description languages.
650 0 $aFormal methods (Computer science)
700 2 $aDelgado Kloos, Carlos.
700 1 $aDamm, Werner.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy1006/97017153-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy1006/97017153-t.html