Fortell venner om denne varen:
Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science 1994 edition
Warren A. Hunt
Pris
₪ 189
Bestillingsvarer
Forventes levert 23. - 31. jul
Legg til iMusic ønskeliste
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 20. mai 1994 |
| ISBN13 | 9783540579601 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 342 |
| Mål | 156 × 234 × 18 mm · 498 g |
| Språk | Engelsk |
Se alt med Warren A. Hunt ( f.eks. Pocketbok )