{"product_id":"verified-software-theories-tools-and-experiments-11th-international-conference-vstte-2019-new-york-city-ny-usa-july-13-14-2019-revised-sele-9783030415990","title":"Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, July 13-14, 2019, Revised Sele","description":"\u003cp\u003e • Author(s): Supratik Chakraborty\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Software Development \u0026amp; Engineering - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019.\u003cbr\u003eThe 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45281100005527,"sku":"9783030415990","price":3672.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783030415990.webp?v=1769298218","url":"https:\/\/atlanticbooks.com\/products\/verified-software-theories-tools-and-experiments-11th-international-conference-vstte-2019-new-york-city-ny-usa-july-13-14-2019-revised-sele-9783030415990","provider":"Atlantic Books","version":"1.0","type":"link"}