Name: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... Lectures (Lecture Notes in Computer Science)
ISBN: 9783319340951

by Bernardo, Marco, De Nicola, Rocco, Hillston, Jane

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... Lectures (Lecture Notes in Computer Science)

by Bernardo, Marco, De Nicola, Rocco, Hillston, Jane

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$82.00~~

Discount

37% Off

You Save

$30.69

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

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

ISBN-13: 9783319340951
ISBN: 3319340956
Edition: 1st ed. 2016
Publication Date: 2016
Publisher: Springer

AUTHOR

Bernardo, Marco, De Nicola, Rocco, Hillston, Jane

SUMMARY

Bernardo, Marco is the author of 'Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... Lectures (Lecture Notes in Computer Science)', published 2016 under ISBN 9783319340951 and ISBN 3319340956.

[read more]