Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, Band 4486)

von Marco Bernardo Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-72482-7 ISBN-10: 3-540-72482-6 Springer · 2007