Formal Aspects of Component Software: 18th International Conference, Facs 2022, Virtual Event, November 10-11, 2022, Proceedings (Paperback) (ISBN-13: 9783031208713)

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.

Author: Silvia Lizeth Tapia Tarifa
ISBN-10: 3031208714
ISBN-13: 9783031208713
Publisher: Springer
Language: English
Published: 11/03/2022
Pages: 245
Format: Paperback
Weight: 0.80lbs
Size: 9.21h x 6.14w x 0.54d