scientific article; zbMATH DE number 732939
From MaRDI portal
Publication:4325543
zbMath0899.68009MaRDI QIDQ4325543
Publication date: 12 March 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Analytic circuit theory (94C05) Computer system organization (68M99)
Related Items (4)
Gordon's computer: A hardware verification case study in OBJ3 ⋮ Algebraic models of correctness for abstract pipelines. ⋮ Algebraic models of microprocessors architecture and organisation ⋮ Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
This page was built for publication:
