Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio

By Alessandro Aldini, Bernardo Marco, Di Pierro Alessandra, et al.

This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM).... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 364213677X
• ISBN13: 9783642136771
• Release Date: June 2010
• Publisher: Springer
• Length: 169 Pages
• Weight: 0.61 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"