1.
Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, Ftrtf...
by Damm, Werner, Olderog, E. R.
ISBN: 9783540441656
List Price: $82.95
2.
Computer Aided Verification: 19th International Confernece, CAV 2007, Berlin, Germany, July ...
by Damm, Werner, Hermanns, Holger
ISBN: 9783540733676
List Price: $99.00
3.
Integration Of Software Specification Techniques For Applications In Engineering Third Inter...
by Ehrig, Hartmut, Damm, Werne...
ISBN: 9783540231356
List Price: $100.00
5.
Geodynamik und Magmengenese in der Kuestenkordillere Nordchiles Zwischen Taltal und Chanaral
by Damm, Klaus-Werner, Pichowi...
ISBN: 9783510500277
OUT OF STOCK
See Availability on Amazon6.
Schemapdagogik bei jugendlichen Gewaltttern: Diagnose von Schemata, Konfrontation und Verhal...
by Marcus; Stefan Damm; Werner
ISBN: 9783838201900
List Price: $32.90
7.
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen (Informatik-Fachberichte) ...
by Werner Damm
ISBN: 9783540183204
List Price: $41.00
8.
Practical Formal Methods for Hardware Design
by Delgado Kloos, Carlos, Damm...
ISBN: 9783642606427
List Price: $24.99
OUT OF STOCK
See Availability on Amazon9.
Integration of Software Specification Techniques for Applications in Engineering
by Ehrig, Hartmut, Damm, Werne...
ISBN: 9783662169025
List Price: $24.99
OUT OF STOCK
See Availability on Amazon10.
Formal Techniques in Real-Time and Fault-Tolerant Systems
by Damm, Werner, Olderog, Erns...
ISBN: 9783662208915
List Price: $24.99