Luca Aceto | Akateeminen Kirjakauppa

Reactive Systems: Modelling, Specification and Verification

Luca Aceto; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba
Cambridge University Press
2007
Kovakantinen kirja

103,80 €

Gianluca Aceto & Michele Acquafredda
Alfamusic
2025
CD-levy

21,30 €

Automata, Languages and Programming - 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings

Aceto, Luca; Damgaard, Ivan; Goldberg, Leslie Ann; Halldorsson, Magnus M.; Ingolfsdottir, Anna; Walukiewicz, Igor
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

100,90 €

Automata, Languages and Programming - 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings,

Aceto, Luca; Damgaard, Ivan; Goldberg, Leslie Ann; Halldorsson, Magnus M.; Ingolfsdottir, Anna; Walukiewicz, Igor
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Pehmeäkantinen kirja

129,60 €

Foundations of Software Science and Computational Structures - 9th International Conference, FOSSACS 2006, Held as Part of the J

Aceto, Luca; Ingólfsdóttir, Anna
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2006
Pehmeäkantinen kirja

51,10 €

Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceeding

Aceto, Luca; Henzinger, Monika; Sgall, Jiří
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

100,90 €

Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceeding

Aceto, Luca; Henzinger, Monika; Sgall, Jiri
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja

100,90 €

Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Aceto, Luca; Bacci, Giorgio; Bacci, Giovanni; Ingólfsdóttir, Anna; Legay, Axel; Mardare, Radu
Springer International Publishing AG
2017
Pehmeäkantinen kirja

51,10 €

Reactive Systems: Modelling, Specification and Verification

Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim Guldstrand
CAMBRIDGE
2011
Verkkoaineisto

256,00 €