Georgiana Caltais – författare
Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
599 kr
Skickas inom 10-15 vardagar
764 kr
Läs direkt efter köp
648 kr
Skickas inom 5-8 vardagar
Fundamentals of Software Engineering
11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings
1 559 kr
Skickas inom 10-15 vardagar
1 947 kr
Läs direkt efter köp
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.