Lecture Notes in Computer Science: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Bernardo, Marco; Cimatti, Alessandro

Details

Published by: Springer

Publication Date: 2006-05-15

Format: Paperback

ISBN-13: 9783540343042

DOI: 10.1007/11757283

Dimensions: 235cm x155cm

Pages: 244