Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Name: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer
Brand: Springer-Nature New York Inc
SKU: 9783319340951
Price: 4240.00 INR
Availability: InStock

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

by Marco Bernardo, Rocco De Nicola, Jane Hillston

Springer-Nature New York Inc · 2016

₹4,240

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

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer by Marco Bernardo, Rocco De Nicola & others is a 261-page book published by Springer-Nature New York Inc in 2016.

Topics covered include Operating systems (computers).