{"product_id":"formal-aspects-of-component-software-von-undefined-3","title":"Formal Aspects of Component Software","description":"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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031208713\"\u003e\u003ch3\u003e18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031208713","offer_id":40680581267549,"sku":"9783031208713","price":69.54,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/bc220d9c-0670-47bb-a909-347a599bb5e5.jpg?v=1773551508","url":"https:\/\/shop.autorenwelt.de\/en\/products\/formal-aspects-of-component-software-von-undefined-3","provider":"Autorenwelt Shop","version":"1.0","type":"link"}