Home > Authors > Werner Damm > Computer Aided Verification

Buy at: Bookshop.org Amazon

Computer Aided Verification

Werner Damm, Holger Hermanns

Recent activity

Rate this book to see your activity here.

6 Books Similar to Computer Aided Verification by Werner Damm

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

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

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen by Werner Damm

Cover of Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
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 Computer Aided Verification

Please sign in to leave a comment