Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings - Couverture souple

 
9783031208713: Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Couverture souple
ISBN 10 : 3031208714 ISBN 13 : 9783031208713
Editeur : Springer, 2022

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2022
Langue
anglais
ISBN 10 
3031208714
ISBN 13 
9783031208713
Reliure
Broché
Numéro d'édition
1
Nombre de pages
256
Éditeur
Tapia Tarifa Silvia Lizeth, Proença José
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne