Formal Methods: Foundations and Applications, Kartoniert / Broschiert

Formal Methods: Foundations and Applications

Buch

28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 63,51

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Maurice H. Ter Beek, Leopoldo Teixeira
Verlag:: Springer, 11/2025
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032120854
Artikelnummer:: 12506654
Umfang:: 264 Seiten
Gewicht:: 406 g
Maße:: 235 x 155 mm
Stärke:: 15 mm
Erscheinungstermin:: 27.11.2025
Serie:: Lecture Notes in Computer Science - Band 16363
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.