Books by Klaus Havelund
No products found matching the selection.
-20%
Java Pathfinder User Guide
Klaus Havelund, Nasa Technical Reports Server (Ntrs)
€21.72
€27.15
-20% with code BOOKS
In stock at our supplier
-20%
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
€85.58
€106.98
-20% with code BOOKS
In stock at our supplier
-20%
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
€85.58
€106.98
-20% with code BOOKS
In stock at our supplier