SULJE VALIKKO

Näistä puhumme juuri nyt!
Henkilökunnan suosikit
Kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
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
Äänikirjat
Lahjakortti
Tietoa verkkokaupasta
Akateeminen Kirjakauppa
akateeminen.com
Myymälät
Yhteystiedot
Uutiset

avaa valikko

Jan Friso Groote | Akateeminen Kirjakauppa

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



Understanding Behaviour of Distributed Systems Using mCRL2
UNDERSTANDING BEHAVIOUR OF DISTRIBUTED SYSTEMS USING MCRL2
Atif Muhammad Atif; Groote Jan Friso Groote
Springer Nature B.V. (2023)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja
105,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modeling and Analysis of Communicating Systems
MODELING AND ANALYSIS OF COMMUNICATING SYSTEMS
Jan Friso Groote; Mohammad Reza Mousavi
MIT Press Ltd (2014)
Saatavuus: Painos loppu
Kovakantinen kirja
58,40 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of t
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - 27TH INTERNATIONAL CONFERENCE, TACAS 2021, HELD AS PART OF T
Jan Friso Groote; Kim Guldstrand Larsen
Springer Nature Switzerland AG (2021)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
40,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of t
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS : 27TH INTERNATIONAL CONFERENCE, TACAS 2021, HELD AS PART OF T
Jan Friso Groote (ed.); Kim Guldstrand Larsen (ed.)
Springer (2021)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
40,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic Gates, Circuits, Processors, Compilers and Computers
LOGIC GATES, CIRCUITS, PROCESSORS, COMPILERS AND COMPUTERS
Jan Friso Groote; Rolf Morel; Julien Schmaltz; Adam Watkins
Springer (2021)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
35,10 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 202
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS : 27TH INTERNATIONAL CONFERENCE, FMICS 2022, WARSAW, POLAND, SEPTEMBER 14–15, 202
Jan Friso Groote (ed.); Marieke Huisman (ed.)
Springer (2022)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
68,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modeling and Analysis of Communicating Systems
MODELING AND ANALYSIS OF COMMUNICATING SYSTEMS
Jan Friso Groote; Mohammad Reza Mousavi
MIT Press Ltd (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
80,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tales of Electrologica : Computers, Software and People
TALES OF ELECTROLOGICA : COMPUTERS, SOFTWARE AND PEOPLE
Gerard Alberts (ed.); Jan Friso Groote (ed.)
Springer (2023)
Saatavuus: Tilaustuote
Kovakantinen kirja
35,10 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Understanding Behaviour of Distributed Systems Using mCRL2
UNDERSTANDING BEHAVIOUR OF DISTRIBUTED SYSTEMS USING MCRL2
Muhammad Atif; Jan Friso Groote
Springer (2023)
Saatavuus: Tilaustuote
Kovakantinen kirja
155,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tales of Electrologica : Computers, Software and People
TALES OF ELECTROLOGICA : COMPUTERS, SOFTWARE AND PEOPLE
Gerard Alberts (ed.); Jan Friso Groote (ed.)
Springer (2024)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
35,10 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Understanding Behaviour of Distributed Systems Using mCRL2
UNDERSTANDING BEHAVIOUR OF DISTRIBUTED SYSTEMS USING MCRL2
Muhammad Atif; Jan Friso Groote
Springer (2024)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja
155,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Understanding Behaviour of Distributed Systems Using mCRL2
Atif Muhammad Atif, Groote Jan Friso Groote
105,00 €
Springer Nature B.V.
Sivumäärä: 252 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2023, 26.02.2023 (lisätietoa)
Kieli: Englanti
Tuotteella ei tuotekuvausta.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Understanding Behaviour of Distributed Systems Using mCRL2
Näytä kaikki tuotetiedot
ISBN:
9783031230097
Aihealue:
Ulkomaiset kirjat
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