{"product_id":"formal-methods-for-components-and-objects-9th-international-symposium-fmco-2010-graz-austria-november-29-december-1-2010-revised-papers-9783642252709","title":"Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers","description":"\u003cp\u003e • Author(s): Bernhard K. Aichernig | Frank S. De Boer | Marcello M. Bonsangue\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Operating Systems - General\u003c\/p\u003e\u003cp\u003eThe volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated validation of trust and security of service-oriented architectures;\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47577212453015,"sku":"9783642252709","price":5767.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642252709.webp?v=1774902853","url":"https:\/\/atlanticbooks.com\/products\/formal-methods-for-components-and-objects-9th-international-symposium-fmco-2010-graz-austria-november-29-december-1-2010-revised-papers-9783642252709","provider":"Atlantic Books","version":"1.0","type":"link"}