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 Item type: Article
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 on this title.

to post a comment.