Kirjat Luca Aceto
Reactive Systems: Modelling, Specification and Verification
Anna Ingolfsdottir, Jiri Srba, Luca Aceto
-25% koodilla BOOKS
Toimittajalla varastossa
Foundations of Software Science and Computational Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings
-25% koodilla BOOKS
Toimittajalla varastossa
Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings
Luca Aceto, Ivan Damgaard, Leslie Ann Goldberg, Magnus M. Halldorsson, Anna Ingolfsdottir, Igor Walukiewicz
-25% koodilla BOOKS
Toimittajalla varastossa
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings
Luca Aceto, Monika Henzinger, JirÌŒiÌ Sgall
-25% koodilla BOOKS
Toimittajalla varastossa
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings
Luca Aceto, Monika Henzinger, Jiri Sgall
-25% koodilla BOOKS
Toimittajalla varastossa