New
Arrivals/Restock
Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering)
4.0 (78 items)
Limited Time SaleUntil the end
10
11
30
$28.44 cheaper than the new price!!
Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Free cash-on-delivery fees for purchases over $99
See all stores
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
New $47.40
Product details
| Management number | 232087141 | Release Date | 2026/06/18 | List Price | $18.96 | Model Number | 232087141 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control. Read more
| ISBN10 | 3319101803 |
|---|---|
| ISBN13 | 978-3319101804 |
| Edition | 2014th |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.91 x 9.25 inches |
| Item Weight | 1.24 pounds |
| Print length | 402 pages |
| Publication date | September 15, 2014 |
Tankini Sets
Wall Planners
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form