Werner Damm - Böcker

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

Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen

Av Werner Damm

Häftad, Tyska, 1987

759 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
Del 3147 - Lecture Notes in Computer Science

Integration of Software Specification Techniques for Applications in Engineering

Av Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper

Häftad, Engelska, 2004

739 kr

Skickas inom 10-15 vardagar
Werner Damm, Ernst-Rüdiger Olderog - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad
Del 2469 - Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

Av Werner Damm, Ernst-Rüdiger Olderog

Häftad, Engelska, 2002

719 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

Av C. Delgado Kloos, Carlos Delgado Kloos, Werner Damm

Häftad, Engelska, 1997

739 kr

Skickas inom 10-15 vardagar
Werner Damm, Holger Hermanns - Computer Aided Verification, Häftad

Computer Aided Verification

Av Werner Damm, Holger Hermanns

Häftad, Engelska, 2007

739 kr

Skickas inom 10-15 vardagar
Werner Damm - Agility für Fortgeschrittene, Inbunden

Agility für Fortgeschrittene

Av Werner Damm

Inbunden, Tyska, 2012

269 kr

Skickas inom 3-6 vardagar