Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... Italy, June 13-18, 2011, Advanced Lectures

von: Marco Bernardo · Valerie Issarny Taschenbuch Details (USA) ISBN: 978-3-642-21456-1 ISBN-10: 3-642-21456-8 Springer · 2011