For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Werner Damm
Werner Damm is the author of "Entwurf und Verifikation Mikroprogrammierter Rechnerarchitekturen", "Formal Techniques in Real-Time and Fault-Tolerant Systems", "Practical Formal Methods for Hardware Design" and "Integration of Software Specification Techniques for...
Read More
Books by Werner Damm
View more
Entwurf und Verif...
Damm, Werner
Electronic book text:
$44.99
Practical Formal ...
Delgado Kloos Carlos
Electronic book text:
$129.00
Computer Aided Ve...
Damm Werner
Paperback:
Computer Aided Ve...
Damm Werner
Electronic book text:
$139.00