£54.99

Formal Aspects of Component Software

Name: Formal Aspects of Component Software
Price: 54.99 GBP
Availability: InStock
ISBN: 9783031208720

18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings

Language: reference and general Information theory Algorithms and data structures Software Engineering Mathematical theory of computation Systems analysis and design Natural language and machine translation

Collection: Lecture Notes in Computer Science

Language: English

Published by: Springer

Published on: 2nd November 2022

Format: LCP-protected ePub

Size: 22 Mb

ISBN: 9783031208720

About the Book

This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.

Content and Selection

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.

Show more Show less