Spar
Formal Aspects of Component Software
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.
The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.
The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.
- Undertittel
- 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
- Redaktør
- Gwen Salaün, Anton Wijs
- Opplag
- 1st ed. 2021
- ISBN
- 9783030906351
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 5.11.2021
- Antall sider
- 175
