Books by Luca Aceto

Luca Aceto
Average rating 4.11 · 9 ratings · 0 reviews · shelved 24 times

Showing 9 distinct works.

	Reactive Systems: Modelling, Specification and Verification by Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba 4.17 avg rating — 6 ratings — published 2007 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Automata, Languages and Programming, Part II by Luca Aceto (Editor), Ivan Damgaard (Editor), Leslie Ann Goldberg (Editor), Magnús M. Halldórsson (Editor) really liked it 4.00 avg rating — 2 ratings — published 2008 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday by Luca Aceto (Editor), Giorgio Bacci (Editor), Anna Ingólfsdóttir (Editor), Axel Legay (Editor) really liked it 4.00 avg rating — 1 rating — published 2017 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science, Series Number 3) by Luca Aceto 0.00 avg rating — 0 ratings — published 2007 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I (Lecture Notes in Computer Science, 5125) by Luca Aceto (Editor), Ivan Damgaard (Editor), Leslie Ann Goldberg (Editor), Magnús M. Halldórsson (Editor) 0.00 avg rating — 0 ratings — published 2008 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Book 10460) by Luca Aceto (Editor), Giorgio Bacci (editor), Anna Ingólfsdóttir (editor), Axel Legay (editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Reactive Systems: Modelling, Specification and Verification Hardcover August 13, 2007 by Luca Aceto, Unknown Author 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Automata, Languages and Programming: 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II (Lecture Notes in Computer Science Book 5126) by Luca Aceto (Editor), Ivan Damgaard (Editor), Leslie Ann Goldberg (Editor), Magnús M. Halldórsson (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences ... Notes in Computer Science Book 3921) by Luca Aceto (Editor), Anna Ingólfsdóttir (Editor) 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more books, click here.