Formal Methods for Quantitative Aspects of Programming Languages [E-Book] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky.
Aldini, Alessandro
Bernardo, Marco / Pierro, Alessandra / Wiklicky, Herbert
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
online resource
Lecture Notes in Computer Science ; 6154
Full Text
Description not available.