Formal Methods for Quantitative Aspects of Programming Languages
de Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Ediciones (1)
- Formal Methods for Quantitative Aspects of Programming Languages (2010)
Springer London, Limited · inglés · ISBN 9783642136788
