SULJE VALIKKO

Aloita uusi vuosi uusilla tarinoilla
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

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)
Pehmeäkantinen kirja
108,70 €
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)
Kovakantinen kirja
60,90 €
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)
Pehmeäkantinen kirja
41,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)
Pehmeäkantinen kirja
41,40 €
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)
Pehmeäkantinen kirja
36,40 €
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)
Pehmeäkantinen kirja
71,40 €
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)
Pehmeäkantinen kirja
88,50 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tales of Electrologica - Computers, Software and People
TALES OF ELECTROLOGICA - COMPUTERS, SOFTWARE AND PEOPLE
Gerard Alberts; Jan Friso Groote
Springer International Publishing AG (2023)
Kovakantinen kirja
36,40 €
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 International Publishing AG (2023)
Kovakantinen kirja
161,20 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tales of Electrologica - Computers, Software and People
TALES OF ELECTROLOGICA - COMPUTERS, SOFTWARE AND PEOPLE
Gerard Alberts; Jan Friso Groote
Springer International Publishing AG (2024)
Pehmeäkantinen kirja
36,40 €
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 International Publishing AG (2024)
Pehmeäkantinen kirja
161,20 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Understanding Behaviour of Distributed Systems Using mCRL2
Atif Muhammad Atif, Groote Jan Friso Groote
108,70 €
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