Free Delivery Over $100
|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Silvia Lizeth Tapia Tarifa , José ProençaPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2022 Volume: 13712 Weight: 0.397kg ISBN: 9783031208713ISBN 10: 3031208714 Pages: 245 Publication Date: 03 November 2022 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
