Hardware specification, verification and synthesis: mathematical aspects : Konf. Mathematical Sciences Institut Workshop, Cornell University, New York, 5.- 7. July 1989 /
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin :
Springer Verlag,
1990
|
| Series: | Lecture Notes in Computer Science
408 |
| Tags: |
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a22000003a 4500 | ||
|---|---|---|---|
| 001 | stu1812 | ||
| 005 | 20190206111822.2 | ||
| 008 | 920603s1990----gw------------------eng-d | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | |a eng | |
| 044 | |a gw | ||
| 080 | |a 519.718 |7 stu_us_auth*stu9873 | ||
| 080 | |a 061.3(08) | ||
| 080 | |a 681.322.02 | ||
| 100 | 1 | |a Leeser, M |4 com | |
| 245 | 1 | |a Hardware specification, verification and synthesis: mathematical aspects : |b Konf. Mathematical Sciences Institut Workshop, Cornell University, New York, 5.- 7. July 1989 / |c Edit.: Leeser,M | |
| 260 | |a Berlin : |b Springer Verlag, |c 1990 | ||
| 300 | |a 402 s | ||
| 830 | 0 | |a Lecture Notes in Computer Science |v 408 | |
| 996 | |b I4249 |c I*4249 |l II680 |s A |a 24 |w stu1812_0001 | ||