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

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

Cena
zł 211,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

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

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 Angielski  
Redaktor Brown, Geoffrey
Redaktor Leeser, Miriam

Więcej od Cornell University

Pokaż wszystko

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