Formal Methods for Quantitative Aspects of Programming Languages
No ratings yet
2010
·
English
·
Kindle