Home > Authors > Werner Damm > Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Buy at: Bookshop.org Amazon

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Werner Damm

See on goodreads

Recent activity

Rate this book to see your activity here.

6 Books Similar to Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen by Werner Damm

Bookscovery readers who liked Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen also like Computer Aided Verification, Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen and Formal Techniques in Real-Time and Fault-Tolerant Systems. How many of these have you read?

Computer Aided Verification by Werner Damm

Cover of Computer Aided Verification
Buy this book at:
Bookshop.org Amazon

Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen by Werner Damm

Cover of Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen
Buy this book at:
Bookshop.org Amazon

Formal Techniques in Real-Time and Fault-Tolerant Systems by Werner Damm

Cover of Formal Techniques in Real-Time and Fault-Tolerant Systems
Buy this book at:
Bookshop.org Amazon

Integration of Software Specification Techniques for Applications in Engineering by Hartmut Ehrig

Cover of Integration of Software Specification Techniques for Applications in Engineering
Buy this book at:
Bookshop.org Amazon

Practical formal methods for hardware design by Carlos Delgado Kloos

Cover of Practical formal methods for hardware design
Buy this book at:
Bookshop.org Amazon

Wo aber bleibt die Seele? by Werner Damm

Cover of Wo aber bleibt die Seele?
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Please sign in to leave a comment