SULJE VALIKKO

avaa valikko

Kim+Guldstrand+Larsen | Akateeminen Kirjakauppa

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



Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba
Cambridge University Press
2007
Kovakantinen kirja
Reactive Systems: Modelling, Specification and Verification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
104,30 €
Larsen, Kim Guldstrand; Potapov, Igor; Srba, Jiří
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Larsen, Kim Guldstrand; Sokolsky, Oleg; Wang, Ji
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Larsen, Kim Guldstrand; Willemse, Tim
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 3
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
D'Souza, Deepak; Lal, Akash; Larsen, Kim Guldstrand
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,40 €
Groote, Jan Friso; Larsen, Kim Guldstrand
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,40 €
Groote, Jan Friso; Larsen, Kim Guldstrand
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of t
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,40 €
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim Guldstrand
CAMBRIDGE
2011
Verkkoaineisto
Reactive Systems: Modelling, Specification and Verification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
257,00 €
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Meistä
Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Maksutavat
Tietosuojaseloste
Evästeiden hallinta
Seuraa Akateemista
Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn