FM8501 : a verified microprocessor /

Bibliographic Details

Main Author:	Hunt, Warren A., 1958-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1994.
Series:	Lecture notes in computer science ; 795. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	FM8501 (Microprocessor)