
Formal Methods: Foundations and Applications
- Undertittel
- 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
- Redaktør
- Rohit Gheyi, David Naumann
- Opplag
- 2012 ed.
- ISBN
- 9783642332951
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 11.8.2012
- Antall sider
- 227
