This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic. The 10 regular papers presented together with 3 invited talks in this book were carefully reviewed and selected from 17 submissions.
The papers are organized in topical sections such as:
| ISBN: | 9783030638818 |
| Publication date: | 20th November 2020 |
| Author: | Gustavo Carvalho |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 229 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software Engineering Artificial intelligence Mathematical theory of computation |
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020. Instead the symposium took place virtually due to the COVID-19 pandemic.
Formal Methods: Foundations and Applications features in the following genres: Software Engineering, Artificial intelligence, Mathematical theory of computation
Paperback. £49.49, down from the £54.99 cover price. Not Available.
Formal Methods: Foundations and Applications was written by Gustavo Carvalho and published by Springer Nature Switzerland AG
Formal Methods: Foundations and Applications has 229 pages
Yes it is part of Programming and Software Engineering series
£49.49, reduced from £54.99. Not Available.