Books by Mihaela Bobaru
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.58
€106.98
-20% with code BOOKS
In stock at our supplier