Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
Buch
- 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4¿6, 2024, Proceedings
- Herausgeber: Ciprian Teodorov, Sidney C. Nogueira
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
EUR 63,51*
Verlängerter Rückgabezeitraum bis 31. Januar 2025
Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2024 gekauft wurden, können bis zum 31. Januar 2025 zurückgegeben werden.
- Springer Nature Switzerland, 11/2024
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031781155
- Bestellnummer: 12121835
- Umfang: 224 Seiten
- Gewicht: 347 g
- Maße: 235 x 155 mm
- Stärke: 13 mm
- Erscheinungstermin: 29.11.2024
- Serie: Lecture Notes in Computer Science - Band 15403
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.
Formal Methods: Foundations and Applications
EUR 63,51*
