Andere Kunden interessierten sich auch für
![Integrated Formal Methods]( "Integrated Formal Methods")
Integrated Formal Methods59,99 €![TOOLympics Challenge 2023]( "TOOLympics Challenge 2023")
TOOLympics Challenge 202337,99 €![Logic for Programming, Artificial Intelligence, and Reasoning]( "Logic for Programming, Artificial Intelligence, and Reasoning")
Logic for Programming, Artificial Intelligence, and Reasoning38,99 €![Hardware and Software: Verification and Testing]( "Hardware and Software: Verification and Testing")
Hardware and Software: Verification and Testing37,99 €![Hardware and Software: Verification and Testing]( "Hardware and Software: Verification and Testing")
Hardware and Software: Verification and Testing36,99 €![Verified Software. Theories, Tools and Experiments]( "Verified Software. Theories, Tools and Experiments")
Verified Software. Theories, Tools and Experiments37,99 €![NASA Formal Methods]( "NASA Formal Methods")
NASA Formal Methods55,99 €
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.
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.