Fortæl dine venner om denne vare:
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
Pris
DKK 448
Bestilles fra fjernlager
Forventes klar til forsendelse 7. - 13. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
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
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 14. februar 1990 |
| ISBN13 | 9780387972268 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 404 |
| Mål | 155 × 235 × 21 mm · 576 g |
| Sprog | Engelsk |
| Klipper/redaktør | Brown, Geoffrey |
| Klipper/redaktør | Leeser, Miriam |
Mere med Cornell University
Vis alle
Se alt med Cornell University ( f.eks. Hardcover bog og Paperback Bog )