Raamatud Luca Aceto
Reactive Systems: Modelling, Specification and Verification
Anna Ingolfsdottir, Jiri Srba, Luca Aceto
-25% koodiga BOOKS
Meie tarnija laos
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% koodiga BOOKS
Meie tarnija laos
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% koodiga BOOKS
Meie tarnija laos
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings
Luca Aceto, Monika Henzinger, JirÌŒiÌ Sgall
-25% koodiga BOOKS
Meie tarnija laos
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings
Luca Aceto, Monika Henzinger, Jiri Sgall
-25% koodiga BOOKS
Meie tarnija laos