Fortell venner om denne varen:
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
Pris
元 473
Bestillingsvarer
Forventes levert 3. - 13. jun
Legg til iMusic ønskeliste
Eller
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 14. februar 1990 |
| ISBN13 | 9780387972268 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 404 |
| Mål | 155 × 235 × 21 mm · 576 g |
| Språk | Engelsk |
| Redaktør | Brown, Geoffrey |
| Redaktør | Leeser, Miriam |
Vis alle
Mer med Cornell University
Se alt med Cornell University ( f.eks. Innbunden bok og Pocketbok )