Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings Paperback / softback
Edited by Silvia Lizeth Tapia Tarifa, Jose Proenca
Part of the Lecture Notes in Computer Science series
Paperback / softback
- Information
Description
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.
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:245 pages, 25 Illustrations, color; 26 Illustrations, black and white; X, 245 p. 51 illus., 25 illus
- Publisher:Springer International Publishing AG
- Publication Date:03/11/2022
- Category:
- ISBN:9783031208713
Information
-
Available to Order - This title is available to order, with delivery expected within 2 weeks
- Format:Paperback / softback
- Pages:245 pages, 25 Illustrations, color; 26 Illustrations, black and white; X, 245 p. 51 illus., 25 illus
- Publisher:Springer International Publishing AG
- Publication Date:03/11/2022
- Category:
- ISBN:9783031208713