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 de Alfaro's books
Sign in with Facebook
Sign in
options
Join Goodreads
Luca de Alfaro’s Followers
None yet.
Luca de Alfaro
edit data
Combine Editions
Luca de Alfaro’s books
Luca de Alfaro
Average rating:
0.0
·
0
ratings ·
0
reviews ·
8 distinct works
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, ... (Lecture Notes in Computer Science, 2165)
by
Luca de Alfaro
(Editor)
,
Stephen Gilmore
(Editor)
0.00 avg rating — 0 ratings
— published 2001 —
4 editions
Want to Read
saving…
Want to Read
Currently Reading
Read
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: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 5504)
0.00 avg rating — 0 ratings
— published 2009
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
Quantitative Solution of Omega-Regular Games
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
Continuous Verification by Discrete Reasoning
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: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences ... Notes in Computer Science Book 5504)
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
CONCUR 2005 - Concurrency Theory
by
Martín Abadi
(editor)
,
Luca de Alfaro
(Editor)
0.00 avg rating — 0 ratings
— published 2005 —
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
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings (Lecture Notes in Computer Science Book 3653)
by
Martín Abadi
(Editor)
,
Luca de Alfaro
(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 de Alfaro…
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.