SULJE VALIKKO

Lahjaksi
Löydä joulun ilo kirjoista
Onnea Finlandia-ehdokkaat!
Näistä puhumme juuri nyt!
Henkilökunta suosittelee
Kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Keltainen Kirjasto
Otavan kirjasto
Tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Nuortenkirjat
Selkokirjat
Lahjakortti
Tietoa verkkokaupasta
Akateeminen Kirjakauppa
akateeminen.com
Myymälät
Yhteystiedot
Uutiset

avaa valikko

Gerard Holzmann | Akateeminen Kirjakauppa

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



The Early History of Data Networks
THE EARLY HISTORY OF DATA NETWORKS
Gerard J. Holzmann; Björn Pehrson
IEEE Computer Society Press,U.S. (1994)
Pehmeäkantinen kirja
102,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Design And Validation Of Computer Protocols
DESIGN AND VALIDATION OF COMPUTER PROTOCOLS
Gerard J. Holzmann
Pearson Education (US) (1990)
Pehmeäkantinen kirja
110,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
SPIN Model Checker
SPIN MODEL CHECKER
Gerard J. Holzmann
(2003)
Kovakantinen kirja
76,10 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
SPIN Model Checker, The - Primer and Reference Manual
SPIN MODEL CHECKER, THE - PRIMER AND REFERENCE MANUAL
Gerard Holzmann
Pearson Education (US) (2011)
Pehmeäkantinen kirja
73,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
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
49,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
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
49,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Partial Order Methods in Verification
PARTIAL ORDER METHODS IN VERIFICATION
Doron Peled; Vaughan R. Pratt; Gerard J. Holzmann
American Mathematical Society (1997)
Kovakantinen kirja
127,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Early History of Data Networks
Gerard J. Holzmann, Björn Pehrson
102,00 €
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 | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
The Early History of Data Networkszoom
Näytä kaikki tuotetiedot
ISBN:
9780818667824
Aihealue:
Ulkomaiset kirjat » Business & Economics » Industries » Media & Communications Industries
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste
Yhteystiedot
Toimitusehdot
Asiakaspalvelu
Tietosuojaseloste