Formal Aspects of Component Software
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
62,50 €On orderDelivery: 2-3 weeks
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;
- ISBN-13
- 9783642358609
- ISBN-10
- 3642358608
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2013
- Publication date
- 2013-01-09
- Pages
- 277
- Dimensions
- 155x234x22
- Weight
- 440