Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ...
No ratings yet
Jun 11, 2010
·
English
·
Paperback
(176 pages)