{"product_id":"formal-aspects-of-component-software-silvia-lizeth-tapia-tarifa-9783031208713","title":"Formal Aspects of Component Software: 18th International Conference, Facs 2022, Virtual Event, November 10-11, 2022, Proceedings","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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Silvia Lizeth Tapia Tarifa\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3031208714\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783031208713\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 11\/03\/2022\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 245\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.80lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.54d","brand":"Silvia Lizeth Tapia Tarifa","offers":[{"title":"Paperback","offer_id":48486767689983,"sku":"9783031208713","price":69.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_6b5fa2b5-79e6-4840-a6a0-a030344770ff.jpg?v=1778056612","url":"https:\/\/www.whiterainbookhouse.com\/products\/formal-aspects-of-component-software-silvia-lizeth-tapia-tarifa-9783031208713","provider":"WR Book House","version":"1.0","type":"link"}