Algebraic models of microprocessors architecture and organisation (Q1815999)

From MaRDI portal
Revision as of 05:46, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Algebraic models of microprocessors architecture and organisation
scientific article

    Statements

    title
    Algebraic models of microprocessors architecture and organisation (English)
    0 references
    DOI
    10.1007/s002360050051
    0 references
    author
    N. A. Harman
    0 references
    J. V. Tucker
    0 references
    publication date
    21 November 1996
    0 references
    zbMATH DE Number
    948626
    0 references
    zbMATH Keywords
    algebraic models
    0 references
    microprocessors
    0 references
    describes a project that uses
    OBJ3
    0 references
    HOL
    0 references
    NQTHM
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1815999&oldid=26503655"
    Powered by MediaWiki