|
|
|
|
| LEADER |
01572nam a2200325 a 4500 |
| 001 |
c000161587 |
| 003 |
CARM |
| 005 |
19940517000000.0 |
| 008 |
891207s1990 wb a b 100 0 eng |
| 010 |
|
|
|a 89026300 //r94
|
| 019 |
1 |
|
|a 6880501
|z 45161424
|5 LACONCORD2021
|
| 020 |
|
|
|a 0387972269
|b (U.S.) :
|c DM57.50
|
| 035 |
|
|
|a (OCoLC)20827957
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
| 050 |
0 |
0 |
|a TK7874
|b .C685 1989
|
| 082 |
0 |
0 |
|a 621.39/5
|2 20
|
| 110 |
2 |
|
|a Cornell University.
|b Mathematical Sciences Institute.
|b Workshop,
|d (1989)
|
| 245 |
0 |
0 |
|a Hardware specification, verification, and synthesis :
|b Mathematical aspects : proceedings /
|c M. Leeser, G. Brown, eds. ; Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings.--
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c 1990.
|
| 300 |
|
|
|a vi, 402 p. :
|b ill. ;
|c 25 cm.
|
| 440 |
|
0 |
|a Lecture notes in computer science ;
|v 408.
|
| 504 |
|
|
|a Includes bibliographical notes.
|
| 650 |
|
0 |
|a Integrated circuits
|x Very large scale integration
|x Design and construction
|x Data processing
|x Congresses.
|
| 650 |
|
0 |
|a Integrated circuits
|x Verification
|x Congresses.
|
| 700 |
1 |
|
|a Leeser, M.
|q (Miriam),
|d 1958-
|
| 700 |
1 |
|
|a Brown, G.
|q (Geoffrey),
|d 1960-
|
| 710 |
2 |
|
|a Cornell University.
|b Mathematical Sciences Institute.
|
| 852 |
8 |
|
|b CARM
|h A2:AL17F0
|i C05335
|p 0213185
|f BK
|
| 999 |
f |
f |
|i 03afb289-1762-5b89-81f6-c2cac338f21d
|s 0e6adf8d-8975-5878-9496-2b8fb8db0b64
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C05335
|f A2:AL17F0
|h Other scheme
|i book
|m 0213185
|