FM8501, a verified microprocessor
By: Warren A. Hunt, Jr.
Series: Lecture notes in computer science ;; 795.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 795.; Lecture notes in computer science.
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 333
Subjects: FM8501 (Microprocessor)
Notes: Includes bibliographical references (p. [330]-333) and index.