Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| ISBN | 9783032120854 |
| Sprache | Englisch |
| Erscheinungsdatum | 27.11.2025 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer International Publishing |
| Herausgegeben von | Maurice H. ter Beek, Leopoldo Teixeira |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3–5, 2025.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.
| Reihe | Lecture Notes in Computer Science |
|---|---|
| ISBN | 9783032120854 |
| Sprache | Englisch |
| Erscheinungsdatum | 27.11.2025 |
| Genre | Informatik, EDV/Informatik |
| Verlag | Springer International Publishing |
| Herausgegeben von | Maurice H. ter Beek, Leopoldo Teixeira |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Springer Nature Customer Service Center GmbH Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?
