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 - Książki - Springer-Verlag New York Inc. - 9780387972268 - 14 lutego 1990
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 263,90

Zamówione z odległego magazynu

Przewidywana dostawa 25 paź - 6 lis

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 14 lutego 1990
ISBN13 9780387972268
Wydawcy Springer-Verlag New York Inc.
Strony 404
Wymiary 155 × 235 × 21 mm   ·   576 g
Język English  
Redaktor Brown, Geoffrey
Redaktor Leeser, Miriam
Pokaż wszystko

Więcej od Cornell University

Zobacz wszystko od Cornell University ( np. Hardcover Book i Paperback Book )