Integrated Formal Methods
Integrated Formal Methods
Buch
- 19th International Conference, IFM 2024, Manchester, UK, November 13¿15, 2024, Proceedings
- Herausgeber: Laura Kovács, Nikolai Kosmatov
- Springer Nature Switzerland, 11/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031765537
- Bestellnummer: 12106569
- Umfang: 352 Seiten
- Gewicht: 534 g
- Maße: 235 x 155 mm
- Stärke: 20 mm
- Erscheinungstermin: 13.11.2024
- Serie: Lecture Notes in Computer Science - Band 15234
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
Integrated Formal Methods
EUR 142,37*
