Rajeev Joshi - Böcker

Visar alla böcker från författaren Rajeev Joshi.

4 produkter

Kategorier

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, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

Digital India The Exponential Growth

Av Dr Rajeev Joshi, Dr. Rajeev Joshi m. fl

Häftad, Engelska, 2024

279 kr

Skickas inom 7-10 vardagar