
Formal Methods: Foundations and Applications
- Undertitel
- 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
- Redaktör
- Adenilso Simao, Carroll Morgan
- Upplaga
- 2011
- ISBN
- 9783642250316
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-10-28
- Sidor
- 205
