| Shelfclass_id | 6.C |
| Sortkey | HSVS |
| Authors | Editors: M. Leeser, G. Brown |
| Title | Hardware Specification, Verification, and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989: Proceedings |
| Publisher | Springer Verlag |
| Year | 1990 |
| Languages | eng |
| Isbn | 0387972269 |
| Series | Lecture Notes in Computer Science |
| Volume | 408 |
| Issn | 0302-9743 |
| Description | vi, 402 p. ill. 25 cm |
| Record date | 20131010 |
| Location | Berlin |
| Keywords | Integrated circuits, Very large scale integration, Design and construction, data processing, Congresses, Verification |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0829/89026300-d.html |