Raamatud Rajeev Joshi
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
-25% koodiga BOOKS
Meie tarnija laos
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
-25% koodiga BOOKS
Meie tarnija laos
Rise of the Project Manager: Iron to Golden Triangle the success Path
-25% koodiga BOOKS
Meie tarnija laos
Rise of the Project Manager: Iron to Golden Triangle the success Path
-25% koodiga BOOKS
Meie tarnija laos