Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Integrated Formal Methods

Language EnglishEnglish
Book Paperback
Book Integrated Formal Methods Marie Farrell
Libristo code: 49776569
Publishers Springer-Verlag GmbH, January 2026
This book constitutes the refereed proceedings of the 20th International Conference on Integrated Fo... Full description
? points 174 b
71.87 €
140.56  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Ado 1 cassette audio classe (2) / Book binding.
common.buy 65.65 € 128.40 лв
EULIEN BAZKA ETXEBERRIA Book Paperback
common.buy 21.03 € 41.14 лв
Немецкий с Фридрихом Глаузером. Ночная исповедь Фридрих Глаузер / Book Paperback
common.buy 17.61 € 34.45 лв
manuale degli esperimenti Emanuela Busà / Book Spiral bound
common.buy 18.96 € 37.08 лв
Mein Rucken meldet sich Tomsek Gaby Tomsek / Audiobook MP3
common.buy 4.61 € 9.01 лв

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.

 

 

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Integrated Formal Methods
Author Marie Farrell
Language English
Binding Book - Paperback
Date of issue 2026
Number of pages 536
EAN 9783032107930
ISBN 3032107938
Libristo code 49776569
Publishers Springer-Verlag GmbH
Weight 803

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

The Popish Plot: A Study In The History Of The Reign Of Charles II John Pollock / Book Paperback
common.buy 37.36 € 73.06 лв
Top
Kay Nielsen. East of the Sun and West of the Moon Noel Daniel / Book Hardback
common.buy 32.33 € 63.23 лв
e-Energy 13 Proceedings of the Fourth ACM International Conference on Future Energy Systems E-Energy 13 Conference Committee / Book Paperback
common.buy 84.87 € 166.00 лв
Will Clayton: A Short Biography Ellen Clayton Garwood / Book Paperback
common.buy 27.92 € 54.62 лв
The Masculine Cross Hargrave Jennings / Book Paperback
common.buy 25.07 € 49.04 лв
Hokuei: Masterpieces of Japanese Actor Prints John Fiorillo / Book Hardback
common.buy 57.93 € 113.30 лв
Kids, Wait Till You Hear This! Liza Minnelli / Book Paperback
common.buy 17.09 € 33.43 лв
Homosexuality, Transidentity, and Islam Adi Bharat / Book Paperback
common.buy 69.12 € 135.19 лв
Manual For Submarine Mining / Book Paperback
common.buy 17.20 € 33.64 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account