Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / ed. Marco Bernardo, Rocco De Nicola, Jane Hillston
Corporate Author (Main)
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16, Bertinoro, 2016
Secondary Author
Bernardo, Marco
De Nicola, Rocco
Hillston, Jane
Country
.
Publication
[Cham] : Springer, cop. 2016
Description
VII, 261 p. :
il. ;
24 cm
Series
Lecture notes in computer science , 9700
ISBN
978-3-319-34095-1
CDU
681.3
510.6
There are no comments for this item.