Currently Out Of Stock
Integrated formal methods
Paperback
€77.99
Collect 233 Reward Points
- Currently Out Of Stock
- Book Synopsis
- This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.
- Product Details
-
- ISBN
- 9783031077265
- Format
- Paperback
- Publisher
- Springer, (01 June 2022)
- Number of Pages
- 373
- Weight
- 549 grams
- Language
- English
- Dimensions
- 235 x 155 x 21 mm
- Series:
- See all books in this series
- Categories: