Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer
SKU: 50057537
Price: 28193 HUF
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

28 193 Ft

In stock Immediate digital delivery

Customers also purchased

Historia de las Enzimas Pedro Montilla López

Paperback

10 016 Ft

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.