This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
| ISBN: | 9783319498140 |
| Publication date: | 13th November 2016 |
| Author: | Leila Ribeiro |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 253 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software Engineering Mathematical theory of computation Compilers and interpreters Computer modelling and simulation Business mathematics and systems |
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. They are organized in the following topical sections: analysis and verification; modeling and logic; and model checking.
Formal Methods: Foundations and Applications features in the following genres: Software Engineering, Mathematical theory of computation, Compilers and interpreters, Computer modelling and simulation, Business mathematics and systems
Formal Methods: Foundations and Applications is available in Paperback
Formal Methods: Foundations and Applications was written by Leila Ribeiro and published by Springer International Publishing AG
Formal Methods: Foundations and Applications has 253 pages
Yes it is part of Programming and Software Engineering series
£40.49