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

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.

List of contents

Modelling.- Verification.- Logics.- Semantics.- Types.- Choreographies.

Product details

• Assisted by: Silvia Lizeth Tapia Tarifa (Editor), Proença (Editor), José Proença (Editor), Silvia Lizeth Tapia Tarifa (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 03.11.2022
• EAN: 9783031208713
• ISBN: 978-3-0-3120871-3
• No. of pages: 245
• Dimensions: 155 mm x 14 mm x 235 mm
• Illustrations: X, 245 p. 51 illus., 25 illus. in color.
• Series: Lecture Notes in Computer Science
• Subject: Humanities, art, music > Linguistics and literary studies > General and comparative linguistics