Formal Methods for Quantitative Aspects of Programming Languages - Info and Reading Options
10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
By Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro and Herbert Wiklicky
"Formal Methods for Quantitative Aspects of Programming Languages" was published by Springer London, Limited in 2010 - Berlin, it has 169 pages and the language of the book is English.
“Formal Methods for Quantitative Aspects of Programming Languages” Metadata:
- Title: ➤ Formal Methods for Quantitative Aspects of Programming Languages
- Authors: Alessandro AldiniMarco BernardoAlessandra Di PierroHerbert Wiklicky
- Language: English
- Number of Pages: 169
- Publisher: Springer London, Limited
- Publish Date: 2010
- Publish Location: Berlin
Edition Identifiers:
- The Open Library ID: OL34466506M - OL25670405W
- ISBN-13: 9783642136788
- All ISBNs: 9783642136788
AI-generated Review of “Formal Methods for Quantitative Aspects of Programming Languages”:
Read “Formal Methods for Quantitative Aspects of Programming Languages”:
Read “Formal Methods for Quantitative Aspects of Programming Languages” by choosing from the options below.
Search for “Formal Methods for Quantitative Aspects of Programming Languages” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal Methods for Quantitative Aspects of Programming Languages” in Libraries Near You:
Read or borrow “Formal Methods for Quantitative Aspects of Programming Languages” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal Methods for Quantitative Aspects of Programming Languages” at a library near you.
Buy “Formal Methods for Quantitative Aspects of Programming Languages” online:
Shop for “Formal Methods for Quantitative Aspects of Programming Languages” on popular online marketplaces.
- Ebay: New and used books.