{"product_id":"formal-aspects-of-component-software-springer-international-publishing-ag-9783319153162-11th-international-symposium-facs-2014-bertinoro-italy-september-10-12-2014-revised-selected-papers-ivan-lanese","title":"Formal Aspects of Component Software","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eFormal Aspects of Component Software\u003c\/strong\u003e by \u003cstrong\u003eIvan Lanese\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2015. This comprehensive paperback edition spans \u003cstrong\u003e385 pages\u003c\/strong\u003e and features a collection of revised selected papers from the prestigious International Symposium on Formal Aspects of Component Software (FACS 2014), held in Bertinoro, Italy. Within this volume, you will find \u003cstrong\u003e20 meticulously reviewed full papers\u003c\/strong\u003e chosen from a competitive pool of 44 submissions, showcasing the latest advancements in software engineering. Ideal for researchers and professionals alike, this book provides valuable perspectives on the formal methodologies that underpin component software development. Enhance your understanding of this essential field and explore the formal aspects that contribute to robust and reliable software systems.\u003c\/p\u003e","brand":"Ivan Lanese","offers":[{"title":"Default Title","offer_id":52243233309014,"sku":"9783319153162","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319153162.jpg?v=1767766227","url":"https:\/\/www.bookshop.lv\/products\/formal-aspects-of-component-software-springer-international-publishing-ag-9783319153162-11th-international-symposium-facs-2014-bertinoro-italy-september-10-12-2014-revised-selected-papers-ivan-lanese","provider":"Bookshop","version":"1.0","type":"link"}