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

Bernardo, Marco; Hillston, Jane

Details

Published by: Springer

Publication Date: 2007-05-18

Format: Paperback

ISBN-13: 9783540724827

DOI: 10.1007/978-3-540-72522-0

Dimensions: 235cm x155cm

Pages: 472