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 - Bøger - Springer-Verlag New York Inc. - 9780387972268 - 14. februar 1990
Ved uoverensstemmelse mellem cover og titel gælder titel

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
元 591,25

Bestilles fra fjernlager

Forventes klar til forsendelse 2. - 10. jun.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
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 1990 edition

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
Vis alle

Mere med Cornell University

Se alt med Cornell University ( f.eks. Hardcover bog og Paperback Bog )