
Formal Methods: Foundations and Applications
- Undertittel
- 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
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 23.3.2011
- Antall sider
- 291
