SULJE VALIKKO

avaa valikko

Gerard Holzmann | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



The Early History of Data Networks
Gerard J. Holzmann; Björn Pehrson
IEEE Computer Society Press,U.S. (1994)
Pehmeäkantinen kirja
105,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Design And Validation Of Computer Protocols
Gerard J. Holzmann
Pearson Education (US) (1990)
Pehmeäkantinen kirja
114,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
SPIN Model Checker
Gerard J. Holzmann
(2003)
Kovakantinen kirja
78,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
SPIN Model Checker, The -  Primer and Reference Manual
Gerard Holzmann
Pearson Education (US) (2011)
Pehmeäkantinen kirja
75,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Mihaela Bobaru; Klaus Havelund; Gerard Holzmann; Rajeev Joshi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
Klaus Havelund; Gerard Holzmann; Rajeev Joshi
Springer International Publishing AG (2015)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Partial Order Methods in Verification
Doron Peled; Vaughan R. Pratt; Gerard J. Holzmann
MP-AMM American Mathematical (1997)
Kovakantinen kirja
132,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Early History of Data Networks
105,30 €
IEEE Computer Society Press,U.S.
Sivumäärä: 304 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1994, 30.11.1994 (lisätietoa)
Kieli: Englanti
Tuotteella ei tuotekuvausta.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
The Early History of Data Networkszoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste