Books by Andreas Podelski
No products found matching the selection.
-20%
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Rajeev Joshi, Peter Müller, Andreas Podelski
€85.04
€106.30
-20% with code BOOKS
In stock at our supplier