![Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science - Cornell University - Books - Springer-Verlag New York Inc. - 9780387972268 - February 14, 1990](https://imusic.b-cdn.net/images/item/original/268/9780387972268.jpg?cornell-university-1990-hardware-specification-verification-and-synthesis-mathematical-aspects-mathematical-sciences-institute-workshop-cornell-university-ithaca-new-york-usa-july-5-7-1989-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1431554449)
Tell your friends about this item:
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition
Cornell University
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings - Lecture Notes in Computer Science 1990 edition
Cornell University
Current research into formal methods for hardware design is presented in the papers in this volume. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs.
412 pages
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | February 14, 1990 |
ISBN13 | 9780387972268 |
Publishers | Springer-Verlag New York Inc. |
Pages | 404 |
Dimensions | 155 × 235 × 21 mm · 576 g |
Language | English |
Editor | Brown, Geoffrey |
Editor | Leeser, Miriam |
Show all
More by Cornell University
See all of Cornell University ( e.g. Hardcover Book and Paperback Book )