
Formal Methods: Foundations and Applications
- Alaotsikko
- 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
- Toimittaja
- Rohit Gheyi, David Naumann
- Painos
- 2012 ed.
- ISBN
- 9783642332951
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 11.8.2012
- Sivumäärä
- 227