| Record ID | marc_records_scriblio_net/part26.dat:125989987:955 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part26.dat:125989987:955?format=raw |
LEADER: 00955cam 2200265 a 4500
001 97017153
003 DLC
005 19991026165339.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.