Formal Methods: Foundations and Applications

24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings

Sérgio Campos, Marius Minea (Herausgeber)

Buch | Softcover

IX, 141 Seiten

2021 | 1st ed. 2021
Springer International Publishing (Verlag)
978-3-030-92136-1 (ISBN)

Artikel merken

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

Erscheinungsdatum	27.11.2021
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	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
Themenwelt	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