Tallenna
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.
- Alaotsikko
- 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
- Toimittaja
- Christiano Braga, Narciso Martí-Oliet
- Painos
- 2015 ed.
- ISBN
- 9783319150741
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 27.1.2015
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 179
