Filter
Sökt på: Sökresultat
Filter
1 träff
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
häftad,
2016,
Engelska,
ISBN 9783319340951
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and …