Description
About this book
Formal Methods: Foundations and Applications — 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29–October 1, 2014. Proceedings. An English-language digital edition by Christiano Braga (Editor); Narciso Martí-Oliet (Editor), available in PDF.
Edition details
- Author / contributors: Christiano Braga (Editor); Narciso Martí-Oliet (Editor)
- Publisher: Springer International Publishing
- Publication date: January 06, 2015
- Language: English
- ISBNs: 9783319150741; 9783319150758
- Digital formats: PDF





Reviews
There are no reviews yet.