{"product_id":"verified-software-theorie-tools-experiments-5th-international-conference-vstte-2013-menlo-park-ca-usa-may-17-19-2013-revised-selected-papers-von-ernie-cohen-andrey-rybalchenko-hrsg","title":"Verified Software: Theorie, Tools, Experiments","description":"This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification\/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642541070\"\u003e\u003ch3\u003e5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783642541070","offer_id":39438346190941,"sku":"9783642541070","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/55679cb0-9b60-4f61-ae4d-3bc4176889d5.jpg?v=1773554573","url":"https:\/\/shop.autorenwelt.de\/products\/verified-software-theorie-tools-experiments-5th-international-conference-vstte-2013-menlo-park-ca-usa-may-17-19-2013-revised-selected-papers-von-ernie-cohen-andrey-rybalchenko-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}