Rajeev Joshi – författare
Visar alla böcker från författaren Rajeev Joshi.
4 produkter
NASA Formal Methods
7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Av Klaus Havelund, Gerard Holzmann m. fl.
Häftad, 2015
729 kr
Lägg i varukorg
NASA Formal Methods
Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Av Mihaela Bobaru, Klaus Havelund m. fl.
Häftad, 2011
729 kr
Lägg i varukorg
Verified Software: Theories, Tools, Experiments
4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
Av Rajeev Joshi, Peter Müller m. fl.
Häftad, 2012
729 kr
Lägg i varukorg