Related Books
Language: en
Pages: 314
Pages: 314
Type: BOOK - Published: 2012-01-19 - Publisher: Springer
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal
Language: en
Pages: 377
Pages: 377
Type: BOOK - Published: 2012-12-15 - Publisher: Springer Science & Business Media
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in Sept
Language: en
Pages: 393
Pages: 393
Type: BOOK - Published: 2014-06-12 - Publisher: Springer
This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, Chin
Language: en
Pages: 252
Pages: 252
Type: BOOK - Published: 2022-11-02 - Publisher: Springer Nature
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 ful
Language: en
Pages: 305
Pages: 305
Type: BOOK - Published: 2018-10-06 - Publisher: Springer
This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South
