Werner Damm
Identifiers
- Open LibraryOL959925A
Top Subjects
- Software engineering (1)
Books by Werner Damm
Total count: 6
-
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen1980-01-01
-
Entwurf und Verifikation Mikroprogrammierter RechnerarchitekturenSpringer1987-01-01
-
Practical Formal Methods for Hardware DesignIsland Press1997-01-01
-
Formal Techniques in Real-Time and Fault-Tolerant Systems7th International Symposium, FTRTFT 2002, Co-Sponsored by IFIP WG 2. 2, Oldenburg, Germany, September 9-12, 2002. ProceedingsSpringer London, Limited2003-01-01
-
Computer Aided Verification19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Integration of Software Specification Techniques for Applications in EngineeringPriority Program SoftSpez of the German Research Foundation Final ReportSpringer London, Limited2011-01-01