Gerard Holzmann - Böcker

Visar alla böcker från författaren Gerard Holzmann.
3 produkter
Gerard Holzmann - SPIN Model Checker, The, Häftad

SPIN Model Checker, The

Av Gerard Holzmann

Häftad, Engelska, 2011

1 229 kr

Slutsåld
Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

NASA Formal Methods

Av Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Häftad, Engelska, 2015

739 kr

Skickas inom 7-10 vardagar
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi - NASA Formal Methods, Häftad

NASA Formal Methods

Av Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar