Spara
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.
The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions.
- Undertitel
- 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
- Redaktör
- Christiano Braga, Narciso Martí-Oliet
- Upplaga
- 2015 ed.
- ISBN
- 9783319150741
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2015-01-27
- Sidor
- 179
