Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science - Ganesh Gopalakrishnan - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540651918 - keskiviikko 21. lokakuuta 1998
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science

Ganesh Gopalakrishnan

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 17. - 25. syys

Asiakkaamme sanovat:

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

Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science

Taken from a conference on formal methods in computer-aided design, the papers in this volume present the state-of-the-art in formal verification methods for digital circuits and systems, including processors, custom VLSI circuits, microcode, and reactive software.

538 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 21. lokakuuta 1998
ISBN13 9783540651918
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 538
Mitta 156 × 234 × 28 mm   ·   757 g
Kieli German  
Toimittaja Gopalakrishnan, Ganesh C.
Toimittaja Windley, Phillip J.
Näytä kaikki

Lisää tuotteita Ganesh Gopalakrishnan

Katso kaikki joka sisältää Ganesh Gopalakrishnan ( Esim. Paperback Book Ja Hardcover Book )