Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642324681
• ISBN13: 9783642324680
• Release Date: July 2012
• Publisher: Springer
• Length: 223 Pages
• Weight: 0.75 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"