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, Research exposition (monographs, survey articles) pertaining to computer science
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.