Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| ISBN | 9783031870538 |
| Sprache | Englisch |
| Erscheinungsdatum | 21.03.2025 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer International Publishing |
| Herausgegeben von | Hossein Hojjat, Georgiana Caltais |
| Lieferzeit | Lieferbar in 6 Tagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
This book constitutes the proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025.
The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| ISBN | 9783031870538 |
| Sprache | Englisch |
| Erscheinungsdatum | 21.03.2025 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer International Publishing |
| Herausgegeben von | Hossein Hojjat, Georgiana Caltais |
| Lieferzeit | Lieferbar in 6 Tagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?
