
Vinkkaa tuotetta kavereillesi:
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition
Warren A. Hunt
Hinta
NOK 629
Tilattu etävarastosta
Arvioitu toimitus ti - ke 22. - 30. heinä
Lisää iMusic-toivelistallesi
Eller
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition
Warren A. Hunt
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 )