{"product_id":"automated-technology-for-verification-and-analysis-8th-international-symposium-atva-2010-singapore-september-21-24-2010-proceedings-9783642156427","title":"Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings","description":"\u003cp\u003e • Author(s): Ahmed Bouajjani | Wei-Ngan Chin\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003eA book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47606203711639,"sku":"9783642156427","price":5766.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642156427.webp?v=1775031690","url":"https:\/\/atlanticbooks.com\/products\/automated-technology-for-verification-and-analysis-8th-international-symposium-atva-2010-singapore-september-21-24-2010-proceedings-9783642156427","provider":"Atlantic Books","version":"1.0","type":"link"}