Books by Gerard Holzmann
No products found matching the selection.
-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.04
€106.30
-20% with code BOOKS
In stock at our supplier