Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as veri cation and validation, software engineering, formal speci cation and modeling, software security, and software ... Read More

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017. The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as veri cation and validation, software engineering, formal speci cation and modeling, software security, and software reliability. Read Less

• All from $16.50
• New Books from $51.64
• Used Books from $81.60
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Jan 16, 2025) 60 Day Rental: $22.00 (Expires Feb 15, 2025) 90 Day Rental: $27.50 (Expires Mar 17, 2025) 120 Day Rental: $33.00 (Expires Apr 16, 2025) 180 Day Rental: $35.75 (Expires Jun 15, 2025) Buy eBook Lifetime Access: $54.99 Title: Formal Methods and Software Engineering by Author Publisher: Springer Nature Print ISBN: 9783319686899, 3319686895 eText ISBN: 9783319686905 Edition: 2017 2017 edition Format: EPUB eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ