Hoppa till sidans huvudinnehåll

Werner Damm – författare

Visar alla böcker från författaren .
6 produkter
Werner Damm - Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen, Häftad

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

AvWerner Damm

Häftad, Tyska, 1987

749 kr

Skickas inom 10-15 vardagar

Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper - Integration of Software Specification Techniques for Applications in Engineering, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Werner Damm, Ernst-Rüdiger Olderog - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad

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

709 kr

Skickas inom 10-15 vardagar

C. Delgado Kloos, Carlos Delgado Kloos, Werner Damm - Practical Formal Methods for Hardware Design, Häftad

Practical Formal Methods for Hardware Design

AvC. Delgado Kloos,Carlos Delgado Kloosm. fl.

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Werner Damm, Holger Hermanns - Computer Aided Verification, Häftad

Computer Aided Verification

19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

AvWerner Damm,Holger Hermanns

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Werner Damm - Agility für Fortgeschrittene, Inbunden

Agility für Fortgeschrittene

AvWerner Damm

Inbunden, Tyska, 2012

269 kr

Skickas inom 3-6 vardagar