Integrated Formal Methods: 13th International Conference, Ifm 2017, Turin, Italy, September 20-22, 2017, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3319668447
• ISBN13: 9783319668444
• Release Date: August 2017
• Publisher: Springer
• Length: 438 Pages
• Weight: 1.41 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"