Werner Damm – författare
Visar alla böcker från författaren Werner Damm.
6 produkter
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Av Werner Damm
Häftad, 1987
749 kr
Lägg i varukorg
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Av Hartmut Ehrig, Werner Damm m. fl.
Häftad, 2004
729 kr
Lägg i varukorg
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
Av Werner Damm, Ernst-Rüdiger Olderog
Häftad, 2002
709 kr
Lägg i varukorg
Practical Formal Methods for Hardware Design
Av C. Delgado Kloos, Carlos Delgado Kloos m. fl.
Häftad, 1997
729 kr
Lägg i varukorg
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Av Werner Damm, Holger Hermanns
Häftad, 2007
729 kr
Lägg i varukorg