Normal view MARC view ISBD view

FM8501 : a verified microprocessor / Warren A. Hunt

Auteur principal : Hunt, Warren A., 1958-, AuteurType de document : ArticleCollection : Technical report, 47Langue : anglais.Pays : Etats Unis.Éditeur : Austin, TX : University of Texas : Institute for Computing Science, 1986Description : 1 vol. (253 p.) ; 30 cmSujet MSC : 68-02, Computer science, Research exposition (monographs, survey articles)
68Mxx, Computer science, Computer system organization
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Publié dans Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence (1994).

There are no comments for this item.

Log in to your account to post a comment.