Books by Luca de Alfaro

Luca de Alfaro
Average rating 0.0 · 0 ratings · 0 reviews · shelved 0 times

Showing 7 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	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) by Luca de Alfaro (Editor) 0.00 avg rating — 0 ratings — published 2009	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 by Luca de Alfaro 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
	Continuous Verification by Discrete Reasoning by Luca de Alfaro 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: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences ... Notes in Computer Science Book 5504) by Luca de Alfaro (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
	CONCUR 2005 - Concurrency Theory by Martín Abadi (editor), Luca de Alfaro (Editor) 0.00 avg rating — 0 ratings — published 2005 — 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
	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	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.