Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Formal Methods: Foundations and Applications
CHF 79.05
Auf Lager
SKU
N8QSTN2CMB9
1 Verfügbar 
Geliefert zwischen Di., 25.11.2025 und Mi., 26.11.2025
Details
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail 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
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783030921361
- Genre Information Technology
- Auflage 1st edition 2021
- Editor Marius Minea, Sérgio Campos
- Lesemotiv Verstehen
- Anzahl Seiten 152
- Größe H235mm x B155mm x T9mm
- Jahr 2021
- EAN 9783030921361
- Format Kartonierter Einband
- ISBN 3030921360
- Veröffentlichung 26.11.2021
- Titel Formal Methods: Foundations and Applications
- Untertitel 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
- Gewicht 242g
- Herausgeber Springer International Publishing
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
