Springer
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer,
Product Code:
9783319340951
ISBN13:
9783319340951
Condition:
New
$61.47
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer,
$61.47
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer,
| Author: Marco Bernardo |
| Publisher: Springer |
| Publication Date: Jun 12, 2016 |
| Number of Pages: 261 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3319340956 |
| ISBN-13: 9783319340951 |