Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science, Band 3465)

von: Marco Bernardo · Alessandro Bogliolo Taschenbuch Details (Deutschland) ISBN: 978-3-540-25697-7 ISBN-10: 3-540-25697-0 Springer · 2008