Formal Methods For Quantitative Aspects Of Programming Languages 10th International | Desertcart Hong Kong
Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication ... Systems, SFM 2010, Bertinoro, Italy