Hoppa till sidans huvudinnehåll

Luca Aceto - Böcker

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, Engelska, 2007

1 479 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar

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, Engelska, 2006

739 kr

Skickas inom 10-15 vardagar

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, Engelska, 2008

1 419 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

1 419 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

1 459 kr

Skickas inom 10-15 vardagar