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ücher - Springer-Verlag New York Inc. - 9780387972268 - 14. Februar 1990
Bei Nichtübereinstimmung von Cover und Titel gilt der 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

Preis
Fr. 57,99

Bestellware

Lieferdatum: ca. 11. - 20. Dez
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 14. Februar 1990
ISBN13 9780387972268
Verlag Springer-Verlag New York Inc.
Seitenanzahl 404
Maße 155 × 235 × 21 mm   ·   576 g
Sprache Englisch  
Redakteur Brown, Geoffrey
Redakteur Leeser, Miriam
Alle anzeigen

Weitere Titel von Cornell University

Alle Titel von Cornell University ansehen ( u. a. Gebundenes Buch und Taschenbuch )