{"product_id":"automated-technology-for-verification-and-analysis-springer-international-publishing-ag-9783319681665-15th-international-symposium-atva-2017-pune-india-october-3-6-2017-proceedings-deepak-d-souza","title":"Automated Technology for Verification and Analysis","description":"\u003cp\u003eDiscover cutting-edge research in \u003cstrong\u003eAutomated Technology for Verification and Analysis\u003c\/strong\u003e by \u003cstrong\u003eDeepak D'Souza\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2017. This comprehensive volume compiles the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017), held in Pune, India. With a total of \u003cstrong\u003e482 pages\u003c\/strong\u003e, the book features \u003cstrong\u003e22 full papers\u003c\/strong\u003e and \u003cstrong\u003e7 short papers\u003c\/strong\u003e that have been meticulously reviewed and selected from an impressive 78 submissions. This essential resource is perfect for researchers and practitioners looking to enhance their understanding of automated verification and analysis technologies. Dive into the latest advancements and insights in this dynamic field!\u003c\/p\u003e","brand":"Deepak D'Souza","offers":[{"title":"Default Title","offer_id":52251450704214,"sku":"9783319681665","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319681665.jpg?v=1767778988","url":"https:\/\/www.bookshop.lv\/products\/automated-technology-for-verification-and-analysis-springer-international-publishing-ag-9783319681665-15th-international-symposium-atva-2017-pune-india-october-3-6-2017-proceedings-deepak-d-souza","provider":"Bookshop","version":"1.0","type":"link"}