Related Books
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: 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: 243
Pages: 243
Type: BOOK - Published: 2024-02-13 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtual
Language: en
Pages: 386
Pages: 386
Type: BOOK - Published: 2015-01-29 - Publisher: Springer
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in
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
