Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7?10, 2022, Proceedings (Lecture Notes in Computer Science)
Language: English
Published by Springer, 2022
- Softcover
- New
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
AbeBooks seller since January 19, 2007
Condition: New
US$ 139.23
Quantity: 4 available
Add to basketItem description from seller
Print on Demand.
Seller Inventory # 402360491
- Title
- Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7?10, 2022, Proceedings (Lecture Notes in Computer Science)
- Publisher
- Springer
- Publication year
- 2022
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3031077261
- ISBN 13
- 9783031077265
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.
"Synopsis" may belong to another edition of this title.
Majestic Books
Hounslow, United Kingdom
AbeBooks seller since January 19, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 8.59 | US$ 13.02 |
Payment methods
Store description
We specialise in General Interest Books from South Asian countries.
Specialty
Art, Economics, Buddhism, Religion, Sociology, PaintingSeller's business information
BOOKS AND PERIODICALS AGENCY LTD
Unit 4 Alice way,
Hounslow, United Kingdom TW3 3UD
Terms of sale
Returns accepted if you are not satisfied with the Service or Book.
Shipping terms
Best packaging and fast delivery