Lecture Notes in Computer Science: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi

Details

Published by: Springer

Publication Date: 2008-05-20

Format: Paperback

ISBN-13: 9783540688921

DOI: 10.1007/978-3-540-68894-5

Dimensions: 235cm x155cm

Pages: 527