Lecture Notes in Computer Science: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Aldini, Alessandro; Bernardo, Marco; Di Pierro, Alessandra; Wiklicky, Herbert

Details

Published by: Springer

Publication Date: 2010-06-11

Format: Paperback

ISBN-13: 9783642136771

DOI: 10.1007/978-3-642-13678-8

Dimensions: cm xcm

Pages: 169