Tallenna
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.
- Alaotsikko
- 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
- Toimittaja
- Gwen Salaün, Anton Wijs
- Painos
- 1st ed. 2021
- ISBN
- 9783030906351
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 5.11.2021
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 175
