Formal Methods: Foundations and Applications
25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.
The 8 regular papers presented in this book were carefully reviewed and selected from 15...
The 8 regular papers presented in this book were carefully reviewed and selected from 15...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
60.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Formal Methods: Foundations and Applications “
Klappentext zu „Formal Methods: Foundations and Applications “
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction
of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
Inhaltsverzeichnis zu „Formal Methods: Foundations and Applications “
Invited Talks.- Model Checking and Semantics.- Generation and Synthesis.- Verification and Solvers.
Bibliographische Angaben
- 2022, 1st ed. 2022, XIV, 143 Seiten, 20 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Lucas Lima, Vince Molnár
- Verlag: Springer, Berlin
- ISBN-10: 3031224752
- ISBN-13: 9783031224751
Sprache:
Englisch
Kommentar zu "Formal Methods: Foundations and Applications"
Schreiben Sie einen Kommentar zu "Formal Methods: Foundations and Applications".
Kommentar verfassen