Gerard J. Holzmann - Böcker

Visar alla böcker från författaren Gerard J. Holzmann.
2 produkter
Gerard J. Holzmann, Björn Pehrson, Holzmann, Pehrson B, Gerard J Holzmann - Early History of Data Networks, Häftad
Del 7 - Perspectives

Early History of Data Networks

Av Gerard J. Holzmann, Björn Pehrson, Holzmann, Pehrson B, Gerard J Holzmann

Häftad, Engelska, 1994

1 449 kr

Skickas inom 5-8 vardagar
Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann - Partial Order Methods in Verification, Inbunden

Partial Order Methods in Verification

Av Doron Peled, Vaughan R. Pratt, Gerard J. Holzmann

Inbunden, Engelska, 1997

1 819 kr

Tillfälligt slut