FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools. Read More

The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools. Read Less

• All from $29.70
• New Books from $112.32
• eBook from $29.70

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $29.70 (Expires Jul 03, 2025) 60 Day Rental: $39.60 (Expires Aug 02, 2025) 90 Day Rental: $49.50 (Expires Sep 01, 2025) 120 Day Rental: $59.40 (Expires Oct 01, 2025) 180 Day Rental: $64.35 (Expires Nov 30, 2025) Buy eBook Lifetime Access: $99.00 Title: Fm 2014: Formal Methods Publisher: Springer Nature Print ISBN: 9783319064093, 3319064096 eText ISBN: 9783319064109 Edition: 2014 2014 edition Format: PDF eBook	$29.70 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