Books by Luca Aceto
Reactive Systems: Modelling, Specification and Verification
Anna Ingolfsdottir, Jiri Srba, Luca Aceto
-20% with code BOOKS
In stock at our supplier
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
-20% with code BOOKS
In stock at our supplier
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
-20% with code BOOKS
In stock at our supplier
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings
Luca Aceto, Monika Henzinger, JirÌŒiÌ Sgall
-20% with code BOOKS
In stock at our supplier
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings
Luca Aceto, Monika Henzinger, Jiri Sgall
-20% with code BOOKS
In stock at our supplier