Spar
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011.
- Undertittel
- 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
- Redaktør
- Gilles Barthe, Alberto Pardo, Gerardo Schneider
- Opplag
- 2011 ed.
- ISBN
- 9783642246890
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 21.10.2011
- Antall sider
- 504
