{"product_id":"automated-technology-for-verification-and-analysis-15th-international-symposium-atva-2017-pune-india-october-3-6-2017-proceedings-von-deepak-dsouza-k-narayan-kumar-k-narayan-kumar-hrsg","title":"Automated Technology for Verification and Analysis","description":"\n                                \n                \u003cp\u003e\n                                        This book constitutes the refereed proceedings of the 15\n                    \n                    \u003csup\u003eth\u003c\/sup\u003e\n                                         International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. \n                    \n                    \u003cbr\u003e\n                                         The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. \n                    \n                    \u003cbr\u003e\n                                         The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control. \n                    \n                    \u003cbr\u003e\n                                         \n                    \n                    \u003cbr\u003e\n                                         \n                \n                \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783319681665\"\u003e\u003ch3\u003e15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783319681665","offer_id":39427391914077,"sku":"9783319681665","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/247e3be7-7608-4e23-9063-52612b55a87b.jpg?v=1773206400","url":"https:\/\/shop.autorenwelt.de\/products\/automated-technology-for-verification-and-analysis-15th-international-symposium-atva-2017-pune-india-october-3-6-2017-proceedings-von-deepak-dsouza-k-narayan-kumar-k-narayan-kumar-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}