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-26, 2010 : advanced lectures
By International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)
"Formal methods for quantitative aspects of programming languages" was published by Springer in 2010 - Berlin, it has 167 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
- Author: ➤ International School on Formal Methods for the Design of Computer, Communication, and Software Systems (10th 2010 Bertinoro, Italy)
- Language: English
- Number of Pages: 167
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin
“Formal methods for quantitative aspects of programming languages” Subjects and Themes:
- Subjects: ➤ Congresses - Programmiersprache - Formale Methode - Formal methods (Computer science) - Programmanalyse - Programming languages (Electronic computers) - Computer science - Web services - Internet - Bertinoro <2010> - Conference papers and proceedings
- Places: Bertinoro <2010>
Edition Specifications:
- Pagination: 167 p. :
Edition Identifiers:
- The Open Library ID: OL25375119M - OL16703253W
- Online Computer Library Center (OCLC) ID: 644521774
- Library of Congress Control Number (LCCN): 2010928129
- ISBN-13: 9783642136771
- ISBN-10: 364213677X
- All ISBNs: 364213677X - 9783642136771
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.