Items related to Fm8501: A Verified Microprocessor (Lecture Notes in...
Synopsis
Fm8501 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. Full description
"synopsis" may belong to another edition of this title.
Search results for Fm8501: A Verified Microprocessor (Lecture Notes in...
Stock Image
FM8501: A Verified Microprocessor
Seller: Better World Books: West, Reno, NV, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 68270340-75