Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Kim Guldstrand Larsen | Booky.fi

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



Reactive Systems: Modelling, Specification and Verification
Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba
Cambridge University Press
2007
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Reactive Systems: Modelling, Specification and Verification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
103,90 €
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Larsen, Kim Guldstrand; Potapov, Igor; Srba, Jiří
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China,
Larsen, Kim Guldstrand; Sokolsky, Oleg; Wang, Ji
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 3
Larsen, Kim Guldstrand; Willemse, Tim
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 3
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12
D'Souza, Deepak; Lal, Akash; Larsen, Kim Guldstrand
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Verification, Model Checking, and Abstract Interpretation - 16th International Conference, VMCAI 2015, Mumbai, India, January 12
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of t
Groote, Jan Friso; Larsen, Kim Guldstrand
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
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,20 €
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of t
Groote, Jan Friso; Larsen, Kim Guldstrand
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
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,20 €
Reactive Systems: Modelling, Specification and Verification
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim Guldstrand
CAMBRIDGE
2011
Verkkoaineisto
Saatavuus: Loppuunmyyty
 Loppuunmyyty
Reactive Systems: Modelling, Specification and Verification
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
262,40 €