Showing 1 - 10 of 10 Results
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
4.
Agility fr Fortgeschrittene by Werner Damm ISBN: 9783942335898
6.
Practical Formal Methods for Hardware Design by Delgado Kloos, Carlos, Damm... ISBN: 9783642606427 List Price: $24.99
7.
Integration of Software Specification Techniques for Applications in Engineering by Ehrig, Hartmut, Damm, Werne... ISBN: 9783662169025 List Price: $24.99
8.
Formal Techniques in Real-Time and Fault-Tolerant Systems by Damm, Werner, Olderog, Erns... ISBN: 9783662208915 List Price: $24.99