Fm8501: a Verified Microprocessor - Lecture Notes in Computer Science - Warren A. Hunt - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540579601 - May 20, 1994
In case cover and title do not match, the title is correct

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

Warren A. Hunt

Price
Íkr 6,829
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 18 - 28

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

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 Books     Paperback Book   (Book with soft cover and glued back)
Released May 20, 1994
ISBN13 9783540579601
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 342
Dimensions 156 × 234 × 18 mm   ·   498 g
Language English  

See all of Warren A. Hunt ( e.g. Paperback Book )