Werner Damm - Böcker
Visar alla böcker från författaren Werner Damm.
6 produkter
6 produkter
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
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
Häftad, Engelska, 2002
699 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
Häftad, Engelska, 2007
719 kr
Skickas inom 10-15 vardagar
259 kr
Skickas inom 3-6 vardagar