Spar
Formal Aspects of Component Software
This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. formal methods and modeling languages for components and services;
- Undertittel
- 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
- Redaktør
- Corina S Pasareanu, Gwen Salaün
- Opplag
- 2013 ed.
- ISBN
- 9783642358609
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 9.1.2013
- Antall sider
- 277
