Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer
SKU: 50057537
Price: 80.1 EUR
Availability: InStock
Author: Ferruccio Damiani
ISBN: 9783032107947

20th International Conference, iFM 2025, Paris, France, November 19-21, 2025, Proceedings

Ferruccio Damiani

Marie Farrell

Language

English

E-book Adobe ePub DRM

Publishers Springer, November 2025

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Fo... Full description

Libristo code: 50057537

194 b

80.10 €

In stock Immediate digital delivery

Customers also purchased

Historia de las Enzimas Pedro Montilla López

Paperback

26.02 €

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.