Fm8501: A Verified Microprocessor

by Warren A. Hunt Jr.

The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540579605
• ISBN13: 9783540579601
• Release Date: May 1994
• Publisher: Springer
• Length: 342 Pages
• Weight: 1.10 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"