| Record ID | marc_records_scriblio_net/part21.dat:90614145:1115 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part21.dat:90614145:1115?format=raw |
LEADER: 01115cam 2200241 a 4500
001 90048107
003 DLC
005 19990414162154.6
008 900905s1990 ne a b 000 0 eng
010 $a 90048107
020 $a0444888586 (U.S.)
040 $aDLC$cDLC$dDLC
050 00 $aTK7874$b.F65 1990
245 00 $aFormal methods for VLSI design :$bIFIP WG 10.5 lecture notes /$cedited by Jørgen Staunstrup.
260 0 $aAmsterdam ;$aNew York :$bNorth-Holland ;$aNew York, N.Y., U.S.A. :$bDistributors for the U.S. and Canada, Elsevier Science Pub. Co.,$c1990.
300 $a329 p. :$bill. ;$c24 cm.
500 $aWritten for the international summer school organized by the Computer Science Dept. of the Technical University of Denmark and held in June 1990.
504 $aIncludes bibliographical references.
650 0 $aIntegrated circuits$xVery large scale integration$xComputer-aided design.
650 0 $aIntegrated circuits$xVery large scale integration$xTesting.
700 10 $aStaunstrup, J.$q(Jørgen),$d1952-
710 20 $aIFIP WG 10.5.
710 20 $aDanmarks tekniske højskole.$bInstituttet for datateknik.