| Record ID | marc_columbia/Columbia-extract-20221130-002.mrc:361895940:1354 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-002.mrc:361895940:1354?format=raw |
LEADER: 01354cam a2200337 a 4500
001 785860
005 20220526010658.0
008 891004t19891989nyua b 001 0 eng
010 $a 89006049
020 $a0387969888 (alk. paper)
035 $a(OCoLC)19395216
035 $a(OCoLC)ocm19395216
035 $a(CStRLIN)NYCG89-B71135
035 $9AEA9303CU
035 $a(NNC)785860
035 $a785860
050 00 $aTK7874$b.C85 1989
082 0 $a621.395$219
090 $aTK7874$b.C85 1989
245 00 $aCurrent trends in hardware verification and automated theorem proving /$cG. Birtwistle, P.A. Subrahmanyam, editors.
260 $aNew York :$bSpringer-Verlag,$c[1989], ©1989.
300 $aviii, 489 pages :$billustrations ;$c25 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
504 $aIncludes bibliographical references and index.
650 0 $aIntegrated circuits$xVery large scale integration$xDesign and construction.$0http://id.loc.gov/authorities/subjects/sh2008104742
650 0 $aAutomatic theorem proving.$0http://id.loc.gov/authorities/subjects/sh85010111
700 1 $aBirtwistle, G. M.$q(Graham M.)$0http://id.loc.gov/authorities/names/n85296717
700 1 $aSubrahmanyam, P. A.$0http://id.loc.gov/authorities/names/n85336829
852 00 $boff,eng$hTK7874$i.C85 1989