Formal Methods: Foundations and Applications
24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings
Seiten
2021
|
1st ed. 2021
Springer International Publishing (Verlag)
978-3-030-92136-1 (ISBN)
Springer International Publishing (Verlag)
978-3-030-92136-1 (ISBN)
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
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
Erscheinungsdatum | 27.11.2021 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
Zusatzinfo | IX, 141 p. 40 illus., 16 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 242 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | Applications • Architecting • architecture verification and validation • Artificial Intelligence • computer programming • Computer Science • Computer systems • conference proceedings • Databases • Embedded Systems • Engineering • Formal Languages • Formal Logic • graph theory • Informatics • Linguistics • Mathematics • Model Checking • Programming Languages • Research • software architecture • Software Design • Software engineering • theoretical computer science |
ISBN-10 | 3-030-92136-0 / 3030921360 |
ISBN-13 | 978-3-030-92136-1 / 9783030921361 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
der Ausbildungsbegleiter
Buch | Hardcover (2023)
Rheinwerk (Verlag)
39,90 €