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

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.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2022
• Sprache: Englisch
• ISBN 10: 3031208714
• ISBN 13: 9783031208713
• Einband: Tapa blanda
• Auflage: 1
• Anzahl der Seiten: 256
• Herausgeber: Tapia Tarifa Silvia Lizeth, Proença José
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Deutschland