Tallenna
Formal Aspects of Component Software
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.
- Alaotsikko
- 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
- Toimittaja
- José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue
- Painos
- 2014 ed.
- ISBN
- 9783319076010
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 30.7.2014
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 385
