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
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.