
Formal Methods: Foundations and Applications
- Undertitel
- 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
- Redaktör
- Jim Davies, Leila Silva, Adenilso Simao
- ISBN
- 9783642198281
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-03-23
- Sidor
- 291
