This book presents a set of 4 papers accompanying the lectures of
leading researchers given at the 10th edition of the International
School on Formal Methods for the Design of Computer, Communication and
Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010.
SFM 2010 was devoted to formal methods for quantitative aspects of
programming languages and covered several topics including probabilistic
and timed models, model checking, static analysis, quantum computing,
real-time and embedded systems, and security.
Explore Formal Methods for Quantitative Aspects of Programming Languages by Alessandro Aldini, Marco Bernardo & Alessandra Pierro on eBooksStore by Arnlweb. Discover book details, reader ratings, reviews, release information, genres, and related digital books available through the iTunes Store.
This book is part of our growing collection of bestselling eBooks, popular digital reading materials, and trending author releases. Readers can explore similar books, discover new authors, and browse related genres including fiction, romance, mystery, fantasy, business, self-help, educational books, and more.
Our platform helps readers discover highly rated digital books optimized for smartphones, tablets, laptops, and desktop devices. Browse fast-loading book pages, reader reviews, and popular recommendations from bestselling authors worldwide.