Hoppa till sidans huvudinnehåll

Rajeev Joshi – författare

Visar alla böcker från författaren .
3 produkter
Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

NASA Formal Methods

7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

AvKlaus Havelund,Gerard Holzmannm. fl.

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

NASA Formal Methods

Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings

AvMihaela Bobaru,Klaus Havelundm. fl.

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Rajeev Joshi, Peter Müller, Andreas Podelski - Verified Software: Theories, Tools, Experiments, Häftad

Verified Software: Theories, Tools, Experiments

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

AvRajeev Joshi,Peter Müllerm. fl.

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar