Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings (Lecture Notes in Computer Science, Band 13712) - Softcover

 
9783031208713: Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings (Lecture Notes in Computer Science, Band 13712)
Softcover
ISBN 10: 3031208714 ISBN 13: 9783031208713
Verlag: Springer, 2022

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2022
Sprache
Englisch
ISBN 10 
3031208714
ISBN 13 
9783031208713
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
256
Herausgeber
Tapia Tarifa Silvia Lizeth, Proença José
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland