Neu Erschienen: 29.11.2024

C. Nogueira / Teodorov

Formal Methods: Foundations and Applications

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

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Rezensionen ansehen

Standardpreis

62,05 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als eBook (PDF) für 62,05 €

Fachbuch

Buch. Softcover

2024

xviii, 205 S. 41 s/w-Abbildungen, 35 Farbabbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-031-78115-5

Format (B x L): 15,5 x 23,5 cm

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 15403

Produktbeschreibung

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.