
Formal Methods: Foundations and Applications
- Undertittel
- 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings
- Redaktør
- Juliano Iyoda, Leonardo de Moura
- Opplag
- 2013 ed.
- ISBN
- 9783642410703
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 13.9.2013
- Antall sider
- 243
