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

AvLuca Aceto,Anna Ingólfsdóttirm. fl.

Inbunden, Engelska, 2007

1 489 kr

Skickas inom 7-10 vardagar

Del 10460 - Lecture Notes in Computer Science

Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

AvLuca Aceto,Giorgio Baccim. fl.

Häftad, Engelska, 2017

719 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

AvLuca Aceto,Anna Ingólfsdóttir

Häftad, Engelska, 2006

719 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

AvLuca Aceto,Ivan Damgaardm. fl.

Häftad, Engelska, 2008

1 429 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011. Proceedings, Part I

AvLuca Aceto,Monika Henzingerm. fl.

Häftad, Engelska, 2011

1 429 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II

AvLuca Aceto,Monika Henzingerm. fl.

Häftad, Engelska, 2011

1 429 kr

Skickas inom 10-15 vardagar