Hoppa till sidans huvudinnehåll

Werner Damm - Böcker

Visar alla böcker från författaren Werner Damm.
6 produkter
Del 146 - Informatik-Fachberichte

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Av Werner Damm

Häftad, Tyska, 1987

749 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

Av Hartmut Ehrig, Werner Damm m. fl

Häftad, Engelska, 2004

729 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

Av Werner Damm, Ernst-Rüdiger Olderog

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Practical Formal Methods for Hardware Design

Av C. Delgado Kloos, Carlos Delgado Kloos m. fl

Häftad, Engelska, 1997

729 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

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

Av Werner Damm, Holger Hermanns

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Agility für Fortgeschrittene

Av Werner Damm

Inbunden, Tyska, 2012

269 kr

Skickas inom 3-6 vardagar