Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Name: Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Price: 51.31 USD
Availability: InStock
ISBN: 9783642136771

by Aldini, Alessandro, Bernardo, Marco, Di Pierro, Alessandra

Formal Methods for Quantitative Aspects of Programming Languages : 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 Aldini, Alessandro, Bernardo, Marco, Di Pierro, Alessandra

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$72.00~~

Discount

28% Off

You Save

$20.69

Recommended

Item Details
Condition: New
Provider: LightningBooks
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783642136771
ISBN: 364213677X
Publication Date: 2010
Publisher: Springer

AUTHOR

Aldini, Alessandro, Bernardo, Marco, Di Pierro, Alessandra

SUMMARY

Aldini, Alessandro is the author of 'Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures', published 2010 under ISBN 9783642136771 and ISBN 364213677X.

[read more]