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.
Current location Call number Status Date due Barcode
CMI
Salle R
68 HUN (Browse shelf) Available 10888-01
CMI
Salle R
68 HUN (Browse shelf) Available 10888-02
CMI
Salle R
68 HUN (Browse shelf) Available 10888-03

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.