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

€ 62,99

Bestellware

Lieferdatum: ca. 25. Okt - 6. Nov

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 )