Microprogramming: An Introduction and a Viewpoint

DOI10.1109/T-C.1971.223341zbMath0217.53401OpenAlexW2158302224MaRDI QIDQ5621929

Robert F. Rosin, Michael J. Flynn

Publication date: 1971

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/t-c.1971.223341

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

The use of hoare logic in the verification of horizontal microprograms ⋮ Microprocessors and microprogramming: a review and some suggestions

This page was built for publication: Microprogramming: An Introduction and a Viewpoint