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
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
EUR 142,37*
Verlängerter Rückgabezeitraum bis 31. Januar 2025
Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2024 gekauft wurden, können bis zum 31. Januar 2025 zurückgegeben werden.
- 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*
