{"product_id":"formal-aspects-of-component-software-11th-international-symposium-facs-2014-bertinoro-italy-september-10-12-2014-revised-selected-papers-9783319153162","title":"Formal Aspects of Component Software: 11th International Symposium, Facs 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers","description":"\u003cp\u003e • Author(s): Ivan Lanese\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.\u003c\/p\u003e\u003cp\u003eThe 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45283511730327,"sku":"9783319153162","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783319153162.webp?v=1769305185","url":"https:\/\/atlanticbooks.com\/products\/formal-aspects-of-component-software-11th-international-symposium-facs-2014-bertinoro-italy-september-10-12-2014-revised-selected-papers-9783319153162","provider":"Atlantic Books","version":"1.0","type":"link"}