Luca Aceto – författare
Visar alla böcker från författaren Luca Aceto.
6 produkter
Reactive Systems
Modelling, Specification and Verification
Av Luca Aceto, Anna Ingólfsdóttir m. fl.
Inbunden, 2007
1899 kr
Lägg i varukorg
Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Av Luca Aceto, Giorgio Bacci m. fl.
Häftad, 2017
729 kr
Lägg i varukorg
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
Av Luca Aceto, Anna Ingólfsdóttir
Häftad, 2006
729 kr
Lägg i varukorg
Automata, Languages and Programming
35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II
Av Luca Aceto, Ivan Damgaard m. fl.
Häftad, 2008
1449 kr
Lägg i varukorg
Automata, Languages and Programming
38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I
Av Luca Aceto, Monika Henzinger m. fl.
Häftad, 2011
1449 kr
Lägg i varukorg
Automata, Languages and Programming
38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II
Av Luca Aceto, Monika Henzinger m. fl.
Häftad, 2011
1449 kr
Lägg i varukorg