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, Research exposition (monographs, survey articles) pertaining to computer science68Mxx, Computer science - Computer system organization Item type:

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.