|  |
| |
| Artikel-Nr.:
858A-9783030921361 Herst.-Nr.:
9783030921361 EAN/GTIN:
9783030921361 |
| |
|
| | |
| 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: | | Author: | Sérgio Campos; Marius Minea | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, architecting, architecture verification and validation, artificial intelligence, computer programming, computer science, computer systems, databases, embedded systems, engineering, formal languages, formal logic |
| | |
| |