Articles liés à Fm8501: A Verified Microprocessor
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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Fm8501: A Verified Microprocessor
Image d'archives
FM8501: A Verified Microprocessor
Edité par
Springer, 1994
ISBN 10 : 0387579605
ISBN 13 : 9780387579603
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur 68270340-75
Acheter D'occasion
EUR 47,13
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)