Produktnummer:
1830e1997fcbad4eb2b2c33ad519b3a37a
| Themengebiete: | architecting architecture verification and validation artificial intelligence computer hardware computer programming computer science computer systems embedded systems engineering formal languages |
|---|---|
| Veröffentlichungsdatum: | 01.12.2022 |
| EAN: | 9783031224751 |
| Sprache: | Englisch |
| Seitenzahl: | 143 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Lima, Lucas Molnár, Vince |
| Verlag: | Springer International Publishing |
| Untertitel: | 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings |
Produktinformationen "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 constructionof 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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen