Home > Authors > Hartmut Ehrig > Integration of Software Specification Techniques for Applications in Engineering

Buy at: Bookshop.org Amazon

Integration of Software Specification Techniques for Applications in Engineering

Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif

Recent activity

Rate this book to see your activity here.

9 Books Similar to Integration of Software Specification Techniques for Applications in Engineering by Hartmut Ehrig

Bookscovery readers who liked Integration of Software Specification Techniques for Applications in Engineering also like Computer Aided Verification, Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen and Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen. 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

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

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

Transactions on Petri Nets and Other Models of Concurrency X by Maciej Koutny

Cover of Transactions on Petri Nets and Other Models of Concurrency X
Buy this book at:
Bookshop.org Amazon

Transactions on Petri Nets and Other Models of Concurrency XI by Maciej Koutny

Cover of Transactions on Petri Nets and Other Models of Concurrency XI
Buy this book at:
Bookshop.org Amazon

Autonomic and Trusted Computing by Juan González Nieto

Cover of Autonomic and Trusted Computing
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Integration of Software Specification Techniques for Applications in Engineering

Please sign in to leave a comment