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øker - Springer-Verlag New York Inc. - 9780387972268 - 14. februar 1990
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 569

Bestillingsvarer

Forventes levert 7. - 15. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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

Mer med Cornell University

Vis alle

Se alt med Cornell University ( f.eks. Innbunden bok og Pocketbok )