{"product_id":"9783319289335","title":"Formal Aspects of Component Software","description":"This book constitutes the revised selected papers from\nthe 12th International Conference on Formal Aspects of Component Software, FACS\n2015, held in Niterói, Brazil, in October 2015.\n\nThe 15 full papers and 2 invited papers presented in this\nvolume were carefully reviewed and selected from 33 submissions. They are\norganized in topical sections, namely quality of service to withstand faults,\ncomponent-based software development through research on mathematical models\nfor components, composition and adaptation; rigorous approaches to\nverification, deployment, testing, and certification.\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2016\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer International Publishing\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eFormat: P\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003eWeight (Gram): 5212\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Christiano Braga","offers":[{"title":"Default Title","offer_id":41241798705330,"sku":"9783319289335","price":1239097.99,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3319289330.01_SCLZZZZZZZ.jpg?v=1635515234","url":"https:\/\/readabook.store\/en-id\/products\/9783319289335","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}