Werner Damm – författare

Visar alla böcker från författaren Werner Damm.

6 produkter

Kategorier

6 produkter

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
AvWerner Damm
Häftad, Tyska, 1987
769 kr
Skickas inom 10-15 vardagar
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
AvHartmut Ehrig,Werner Dammm. fl.
Häftad, Engelska, 2004
749 kr
Skickas inom 10-15 vardagar
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
AvWerner Damm,Ernst-Rüdiger Olderog
Häftad, Engelska, 2002
719 kr
Skickas inom 10-15 vardagar
Practical Formal Methods for Hardware Design
AvC. Delgado Kloos,Carlos Delgado Kloosm. fl.
Häftad, Engelska, 1997
749 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
AvWerner Damm,Holger Hermanns
Häftad, Engelska, 2007
749 kr
Skickas inom 10-15 vardagar
Agility für Fortgeschrittene
AvWerner Damm
Inbunden, Tyska, 2012
269 kr
Skickas inom 3-6 vardagar