
Vinkkaa tuotetta kavereillesi:
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition
Warren A. Hunt
Hinta
€ 65,99
Tilattu etävarastosta
Arvioitu toimitus ke 27. joulu - ma 8. tammi 2024


Tilføj til din iMusic ønskeseddel
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ä | Tyskland, 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 )