FM8501 : a verified microprocessor / Warren A. Hunt
Type 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
| 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.