Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Programming and Software Engineering)
$47.40
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by sublimagenez.com
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
$47.40
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by sublimagenez.com
Free 30-day returns Details
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 |
Bestseller ranking
Epidemiology
Customers who viewed this product also viewed
Audio Conferencing
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