Formal Aspects of Component Software 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Sale price
$62.99
Regular price $69.99
Skip to product information
Formal Aspects of Component Software 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Sale price
$62.99
Regular price $69.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Silvia Lizeth Tapia Tarifa | José Proença
Foreign Language Study / General
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.
The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.
| Publication Date: | 03 November 2022 |
| Publisher: | Springer International Publishing |
| Imprint: | Springer |
| ISBN-13: | 9783031208713 |
| Format: | Paperback softback |
| Page Count: | 245 |