Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Notes in Computer Science, Band 6154)

Quantitative

von: Alessandro Aldini · Marco Bernardo · Alessandra Di Pierro · Herbert Wiklicky

Taschenbuch

Details (Deutschland)

ISBN: 978-3-642-13677-1

ISBN-10: 3-642-13677-X

Springer · 2010