Integrated Formal Methods : 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings - Nikolai Kosmatov

Integrated Formal Methods

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

By: Nikolai Kosmatov (Editor), Laura Kovács (Editor)

Paperback | 14 December 2024

At a Glance

Paperback


$233.71

or 4 interest-free payments of $58.43 with

 or 

Aims to ship in 7 to 10 business days

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.

More in Software Engineering

Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Information Modeling and Relational Databases : 2nd Edition - Terry Halpin
Learning Agile : Understanding Scrum, XP, Lean, and Kanban - Andrew Stellman
Git : Pocket Guide : A Working Introduction - Richard E. Silverman

RRP $47.50

$26.50

44%
OFF
Systems Analysis and Design : 8th Edition - Alan Dennis

RRP $263.95

$227.35

14%
OFF
Head First Java, 3rd Edition : A Brain-Friendly Guide - Kathy Sierra
Debugging Teams : Better Prductivity Through Collaboration - Brian Debugging
Head First Swift : Head First - Jon Manning

RRP $152.00

$66.25

56%
OFF