Tallenna
Hardware Specification, Verification and Synthesis: Mathematical Aspects
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.
- Alaotsikko
- Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings
- Toimittaja
- Miriam Leeser, Geoffrey Brown
- Painos
- 1990 ed.
- ISBN
- 9780387972268
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 14.2.1990
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 404
