Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science - Warren A. Hunt - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540579601 - perjantai 20. toukokuuta 1994
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition

Warren A. Hunt

Hinta
NOK 629

Tilattu etävarastosta

Arvioitu toimitus ke - to 13. - 21. elo

Asiakkaamme sanovat:

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

Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition

The FM 8501 microprocessor was created to express user-level specifications and design implementations using a formal logic. The author of this monograph explains how its original implementation model, although inadequate for hardware design, inspired his own verification methodology.

342 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä perjantai 20. toukokuuta 1994
ISBN13 9783540579601
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 342
Mitta 156 × 234 × 18 mm   ·   498 g
Kieli English  

Katso kaikki joka sisältää Warren A. Hunt ( Esim. Paperback Book )