
Formal Methods: Foundations and Applications
- Alaotsikko
- 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
- Toimittaja
- Adenilso Simao, Carroll Morgan
- Painos
- 2011
- ISBN
- 9783642250316
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 28.10.2011
- Sivumäärä
- 205