Books by Klaus Schneider
No products found matching the selection.
-20%
Verification of Reactive Systems: Formal Methods and Algorithms
€67.74
€84.68
-20% with code BOOKS
In stock at our supplier
-20%
Verification of Reactive Systems: Formal Methods and Algorithms
€67.74
€84.68
-20% with code BOOKS
In stock at our supplier
-20%
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
€85.80
€107.25
-20% with code BOOKS
In stock at our supplier