OtiumSessione
Sessione
Non abbiamo ancora una biografia di Werner Damm.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
2013
Wo aber bleibt die Seele?
2004
Formal Techniques in Real-Time and Fault-Tolerant Systems
2003
Computer Aided Verification
2007
Practical formal methods for hardware design
1997
Integration of Software Specification Techniques for Applications in Engineering
2011