Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Werner Damm
Werner Damm
All books by Werner Damm
(
Displaying 7 Books
)
Computer Aided Verification
Werner Damm
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen
Werner Damm
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Werner Damm
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm
Integration of Software Specification Techniques for Applications in Engineering
Hartmut Ehrig
Practical formal methods for hardware design
Carlos Delgado Kloos
Wo aber bleibt die Seele?
Werner Damm
Looking for another book by Werner Damm?
Search for the book
by title.