FM 2014: Formal Methods
Format: Paperback
ISBN13: 9783319064093
Paperback|9783319064093
✨ Featured Offer
Brand New
$112.98
List Price: $109.99
🚚
See all 1 offers from $112.98 FREE standard delivery by: 05 Apr 2026
Overview
This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. 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.
| ISBN-13 | 9783319064093 |
|---|---|
| ISBN-10 | 3319064096 |
| Weight | 2.33 Pounds |
| Dimensions | 6.10 x 1.74 x 9.25 In |
| List Price | $109.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xviii, 750 pages |
| Publisher | Springer |
| Published On | 2014-04-09 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Contains: Illustrations, black & white. Lecture Notes in Computer Science ; Program...
Free delivery by: 05 Apr 2026