Gerard Holzmann - Böcker

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

3 produkter

Kategorier

3 produkter

SPIN Model Checker, The

Primer and Reference Manual

Av Gerard Holzmann

Häftad, Engelska, 2011

1 199 kr

Slutsåld

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

739 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

739 kr

Skickas inom 10-15 vardagar