|
|
|
|
| LEADER |
00000nam a22000008a 4500 |
| 001 |
b1818101 |
| 003 |
CoU |
| 008 |
891207s1990 gw a b 100 0 eng |
| 005 |
20240722194337.5 |
| 010 |
|
|
|a 89026300
|
| 020 |
|
|
|a 0387972269 (U.S.) :
|
| 035 |
|
|
|a ocm20827957
|
| 040 |
|
|
|a DLC
|c DLC
|d COD
|
| 049 |
|
|
|a CODI
|
| 050 |
0 |
0 |
|a TK7874
|b .H385 1990
|
| 245 |
0 |
0 |
|a Hardware specification, verification, and synthesis :
|b mathematical aspects : proceedings /
|c Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 ; M. Leeser, G. Brown (eds.)
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c 1990.
|
| 300 |
|
|
|a vi, 402 pages :
|b illustrations ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia.
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier.
|
| 490 |
1 |
|
|a Lecture notes in computer science ;
|v 408.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 583 |
1 |
|
|a committed to retain
|c 20240101
|d 20490101
|5 CoU
|f Alliance Shared Trust
|u https://www.coalliance.org/shared-print-archiving-policies
|
| 650 |
|
0 |
|a Integrated circuits
|x Very large scale integration
|x Design and construction
|x Data processing
|v Congresses.
|
| 700 |
1 |
|
|a Leeser, M.
|q (Miriam),
|d 1958-
|0 http://id.loc.gov/authorities/names/n88237507
|1 http://isni.org/isni/0000000108726605.
|
| 700 |
1 |
|
|a Brown, G.
|q (Geoffrey),
|d 1960-
|0 http://id.loc.gov/authorities/names/n88237508
|1 http://isni.org/isni/0000000118621399.
|
| 710 |
2 |
|
|a Cornell University.
|b Mathematical Sciences Institute.
|0 http://id.loc.gov/authorities/names/n88237506
|1 http://isni.org/isni/0000000119426499.
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 408.
|0 http://id.loc.gov/authorities/names/n42015162.
|
| 907 |
|
|
|a .b18181016
|b 03-18-20
|c 11-28-94
|
| 998 |
|
|
|a eng
|b 03-21-95
|c -
|d m
|e -
|f eng
|g wb
|h 0
|i 1
|
| 907 |
|
|
|a .b18181016
|b 10-24-18
|c 11-28-94
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 907 |
|
|
|a .b18181016
|b 12-17-08
|c 11-28-94
|
| 907 |
|
|
|a .b18181016
|b 05-11-07
|c 11-28-94
|
| 999 |
f |
f |
|i 27576fcc-db43-503e-af5b-537a51cc7866
|s e1f9a173-1ea8-5a16-a8fa-388b771c164e
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Offsite
|d PASCAL Offsite
|e TK7874 .H385 1990
|h Library of Congress classification
|i book
|m P204340707014
|n 1
|
