
Software Engineering and Formal Methods
- Undertitel
- 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
- Redaktör
- Gilles Barthe, Alberto Pardo, Gerardo Schneider
- Upplaga
- 2011 ed.
- ISBN
- 9783642246890
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2011-10-21
- Sidor
- 504
