Hoppa till sidans huvudinnehåll

Werner Damm - Böcker

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

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

AvWerner Damm

Häftad, Tyska, 1987

739 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 Damm m. fl.

Häftad, Engelska, 2004

719 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

699 kr

Skickas inom 10-15 vardagar

Practical Formal Methods for Hardware Design

AvC. Delgado Kloos,Carlos Delgado Kloos m. fl.

Häftad, Engelska, 1997

719 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

719 kr

Skickas inom 10-15 vardagar

Agility für Fortgeschrittene

AvWerner Damm

Inbunden, Tyska, 2012

259 kr

Skickas inom 3-6 vardagar