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 - Kirjat - Springer-Verlag New York Inc. - 9780387972268 - keskiviikko 14. helmikuuta 1990
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 64,49

Tilattu etävarastosta

Arvioitu toimitus to 24. loka - ti 5. marras

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 14. helmikuuta 1990
ISBN13 9780387972268
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 404
Mitta 155 × 235 × 21 mm   ·   576 g
Kieli English  
Toimittaja Brown, Geoffrey
Toimittaja Leeser, Miriam
Näytä kaikki

Lisää tuotteita Cornell University

Katso kaikki joka sisältää Cornell University ( Esim. Hardcover Book Ja Paperback Book )