Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Italy, June 21, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Italy, June 21, 2010, Advanced Lectures

Marco Bernardo Alessandra Di Pierro Alessandro Aldini , Marco Bernardo , Alessandra Di Pierro
No ratings yet
Jan 1, 2011 · English · Paperback (180 pages)
Add To Shelf

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review
Add To Shelf

Rate this book

Export Book Journal