STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Werner Damm | lit.salon
Werner Damm
No bio available.
Add one in Open Library.
Books by Werner Damm (50 max)
+ shelf
+ list
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
1987
Werner Damm
+ shelf
+ list
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen
1980
Werner Damm
+ shelf
+ list
Practical formal methods for hardware design
1997
Carlos Delgado Kloos, Werner Damm
+ shelf
+ list
Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2. 2, Oldenburg, Germany, September 9-12, 2002. Proceedings
2003
Werner Damm, Ernst-Rüdiger Olderog
+ shelf
+ list
Wo aber bleibt die Seele?: interdisziplinäre Annäherungen
2004
Werner Damm
+ shelf
+ list
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
2007
Werner Damm, Holger Hermanns
+ shelf
+ list
Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation Final Report
2011
Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif
