Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Sign In
Join
Sign up
View profile
Profile
Friends
Groups
Discussions
Comments
Reading Challenge
Kindle Notes & Highlights
Quotes
Favorite genres
Friends’ recommendations
Account settings
Help
Sign out
Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Discover new books on Goodreads
See if your friends have read any of Luca Aceto's books
Sign in with Facebook
Sign in
options
Join Goodreads
Luca Aceto’s Followers
None yet.
Luca Aceto
edit data
Combine Editions
Luca Aceto’s books
Luca Aceto
Average rating:
4.11
·
9
ratings ·
0
reviews ·
13 distinct works
Reactive Systems: Modelling, Specification and Verification
by
Luca Aceto
,
Anna Ingólfsdóttir
,
Kim Guldstrand Larsen
4.17 avg rating — 6 ratings
— published 2007 —
4 editions
Want to Read
saving…
Want to Read
Currently Reading
Read
Did Not Finish
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)
really liked it
4.00 avg rating — 2 ratings
— published 2008 —
4 editions
Want to Read
saving…
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)
really liked it
4.00 avg rating — 1 rating
— published 2017 —
3 editions
Want to Read
saving…
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)
0.00 avg rating — 0 ratings
— published 2007 —
2 editions
Want to Read
saving…
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)
0.00 avg rating — 0 ratings
— published 2008 —
3 editions
Want to Read
saving…
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)
0.00 avg rating — 0 ratings
Want to Read
saving…
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
Want to Read
saving…
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)
0.00 avg rating — 0 ratings
Want to Read
saving…
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
Want to Read
saving…
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
More books by Luca Aceto…
Series by Luca Aceto
Automata, Languages and Programming
(2 books)
by
Luca Aceto
(Editor)
,
Ivan Damgaard
(Editor)
,
Leslie Ann Goldberg
(Editor)
,
Magnús M. Halldórsson
(Editor)
,
Anna Ingólfsdóttir
(Editor)
,
Igor Walukiewicz
(Editor)
really liked it
4.00 avg rating — 2 ratings
Is this you?
Let us know.
If not, help out and
invite Luca to Goodreads.
Welcome back. Just a moment while we sign you in to your Goodreads account.