Gerard Holzmann – författare

Visar alla böcker från författaren Gerard Holzmann.

2 produkter

Kategorier

2 produkter

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
739 kr
Skickas inom 10-15 vardagar
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
739 kr
Skickas inom 10-15 vardagar