BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Formal Methods: Foundations and Applications
28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
Springer
ISBN 978-3-032-12085-4
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2025
23 s/w-Abbildungen, 20 Farbabbildungen.
Umfang: 264 S.
Format (B x L): 15.5 x 23.5 cm
Gewicht: 406
Verlag: Springer
ISBN: 978-3-032-12085-4
Produktbeschreibung
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.
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.
Autorinnen und Autoren
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, DE
ProductSafety@springernature.com
Rezensionen
