Formal Methods: Foundations and Applications, Kartoniert / Broschiert

Formal Methods: Foundations and Applications

Buch

27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

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

Aktueller Preis: EUR 63,51

Versandkosten

Herausgeber:: Ciprian Teodorov, Sidney C. Nogueira
Verlag:: Springer Nature Switzerland, 11/2024
Einband:: Kartoniert / Broschiert, Paperback
Sprache:: Englisch
ISBN-13:: 9783031781155
Artikelnummer:: 12121835
Umfang:: 224 Seiten
Gewicht:: 347 g
Maße:: 235 x 155 mm
Stärke:: 13 mm
Erscheinungstermin:: 29.11.2024
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4 6, 2024.

The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.