Formal Methods for Quantitative Aspects of Programming Languages

Name: Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer
Brand: Springer
SKU: 9783642136771
Price: 5468.00 INR
Availability: InStock

10th International School on Formal Methods for the Design of Computer

by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro

Springer · 2010

₹5,468

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by Springer in 2010, Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer by Alessandro Aldini, Marco Bernardo & others runs to 167 pages. It belongs to the Tutorial series.

Its main subjects are Congresses, Programmiersprache, Formale Methode and Formal methods (Computer science). Places discussed include Bertinoro <2010>.