Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science - Warren A. Hunt - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540579601 - 20. Mai 1994
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
€ 51,49

Bestellware

Lieferdatum: ca. 11. - 19. Mai
Zu deiner iMusic Wunschliste hinzufügen
oder

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 20. Mai 1994
ISBN13 9783540579601
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 342
Maße 156 × 234 × 18 mm   ·   498 g
Sprache Englisch