
Formal Methods: Foundations and Applications
- Undertitel
- 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
- Redaktör
- Juliano Iyoda, Leonardo de Moura
- Upplaga
- 2013 ed.
- ISBN
- 9783642410703
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-09-13
- Sidor
- 243
