{"product_id":"formal-aspects-of-component-software-springer-international-publishing-ag-9783031208713-18th-international-conference-facs-2022-virtual-event-november-10-11-2022-proceedings-silvia-lizeth-tapia-tarifa","title":"Formal Aspects of Component Software","description":"\u003cp\u003eDiscover the essential insights in \u003cstrong\u003eFormal Aspects of Component Software\u003c\/strong\u003e by Silvia Lizeth Tapia Tarifa, published by Springer International Publishing AG in 2022. This comprehensive volume features a meticulously curated selection of papers from the 18th International Symposium on Formal Aspects of Component Software (FACS 2022), which took place online in November 2022. With 245 pages of in-depth analysis, the book includes 12 full papers and 1 short paper, all rigorously reviewed and chosen from a pool of 25 submissions. This first edition is a must-read for researchers and practitioners interested in the latest advancements in component software. Enhance your understanding of formal methods and their application in software engineering with this authoritative text.\u003c\/p\u003e","brand":"Silvia Lizeth Tapia Tarifa","offers":[{"title":"Default Title","offer_id":52274328142166,"sku":"9783031208713","price":66.68,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031208713.jpg?v=1767812575","url":"https:\/\/www.englishbook.pt\/products\/formal-aspects-of-component-software-springer-international-publishing-ag-9783031208713-18th-international-conference-facs-2022-virtual-event-november-10-11-2022-proceedings-silvia-lizeth-tapia-tarifa","provider":"Bookshop","version":"1.0","type":"link"}