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
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Language EnglishEnglish
Book Paperback
Book Integrated Formal Methods Nikolai Kosmatov
Libristo code: 46583255
Publishers Springer, Berlin, November 2024
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr... Full description
? points 349 b
142.39 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Naturkosmetik aus dem Thermomix(R) Gehlmann / Book Paperback
common.buy 13.99 €
Die Rheinlande Von Der Schweizer Bis Zur Hollandischen Grenze: Handbuch Fur Reisende Karl Baedeker / Book Paperback
common.buy 46.99 €
Recherches sur la musique française classique. Volume (29) XXIX / Book Paperback
common.buy 49.49 €
Autorem je každý z nás Jitka Malá / Book Paperback
common.buy 8.19 €
SPA-RIGBY PM COLECCION Rigby / Book Hardback
common.buy 76.39 €
Voice over IP M Westphal / Book Paperback
common.buy 13.99 €
Sindbad le marin Pascale Hédelin / Book Hardback
common.buy 9.49 €
Estuche Hannah Grace (Contiene: Romper el hielo Saltan chis Grace / Book Paperback
common.buy 26.19 €

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.  

The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

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 Nikolai Kosmatov, Laura Kovács
Language English
Binding Book - Paperback
Date of issue 2025
Number of pages 400
EAN 9783031765537
Libristo code 46583255
Publishers Springer, Berlin
Weight 534
Dimensions 155 x 235

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

Haunted Castles Ray Russell / Book Hardback
common.buy 17.69 €
The Adventures of Tom Sawyer Mark Twain / Book Hardback
common.buy 9.59 €
The North Woods Douglass Hoover / Book Paperback
common.buy 19.99 €
Top
[Oshi No Ko], Vol. 2 Aka Akasaka / Book Paperback
common.buy 9.89 €
Don't Fix Women Joy Burnford / Book Paperback
common.buy 14.89 €
Someone Had to Do It Amber Brown / Book Paperback
common.buy 15.59 €
Scars and Black Armor Liam Chambers / Book Paperback
common.buy 15.99 €
Little Women Rachael Claye / Book Paperback
common.buy 17.29 €
S.H.O.C.K. Business Breakthroughs- 8 Strategies Proven to Increase Business Cash Flow by $100K Tim Wesley / Book Paperback
common.buy 16.49 €
Top
Useless Magic: Lyrics and Poetry Florence Welch / Book Hardback
common.buy 25.49 €
The True Story of Fake News : How Mainstream Media Manipulates Millions Mark Dice / Book Paperback
common.buy 19.09 €
Einstein: The Life and Times Ronald W. Clark / Book Paperback
common.buy 15.99 €
Autoimmune Fix Tom O'bryan / Book Hardback
common.buy 21.09 €
Top
Gravity Falls Journal 3 Rob Ronzetti / Book Hardback
common.buy 14.99 €
Jane Goodall: 50 Years at Gombe Jane Goodall / Book Hardback
common.buy 28.29 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?