Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Programming and Software Engineering)
US$19.18
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by aupro.de
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
Product details
| Management number | 233646324 | Release Date | 2026/06/27 | List Price | US$19.18 | Model Number | 233646324 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software.. Read more
| ASIN | 3319668447 |
|---|---|
| ISBN10 | 3319668447 |
| ISBN13 | 978-3319668444 |
| Edition | 1st ed. 2017 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 1.04 x 9.25 inches |
| Item Weight | 1.45 pounds |
| Print length | 459 pages |
| Publication date | August 27, 2017 |
Bestseller ranking
Intelligence & Semantics
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