Integrated Formal Methods: 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings (Lecture Notes in Computer Science)
Language: English
Published by Springer, 2025
- Softcover
- Used
Seller: Marlton Books, Bridgeton, NJ, U.S.A.Marlton Books
AbeBooks seller since July 1, 2025
Condition: Used - Fair
US$ 71.99
Quantity: 1 available
Add to basketItem description from seller
Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2025.
Seller Inventory # AB-018111
- Title
- Integrated Formal Methods: 20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings (Lecture Notes in Computer Science)
- Publisher
- Springer
- Publication year
- 2025
- Condition
- Acceptable
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3032107938
- ISBN 13
- 9783032107930
- Item weight
- 26.24 ounces
This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, iFM 2025, which took place in Paris, France, during November 19–21, 2025.
The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.
"Synopsis" may belong to another edition of this title.
Marlton Books
Bridgeton, NJ, U.S.A.
AbeBooks seller since July 1, 2025
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 3.00 | US$ 7.99 |
Payment methods
Store description
Marlton Books, thousands of New books at discount prices!
Specialty
New and UsedShipping terms
All items ship from the United States.