{"product_id":"verified-software-theories-tools-and-experiments-springer-nature-switzerland-ag-9783030415990-11th-international-conference-vstte-2019-new-york-city-ny-usa-july-13-14-2019-revised-selected-papers-supratik-chakraborty","title":"Verified Software. Theories, Tools, and Experiments","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Verified Software: Theories, Tools, and Experiments\" by Supratik Chakraborty, published by Springer Nature Switzerland AG in 2020. This essential volume features the thoroughly refereed post-conference proceedings from the 11th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2019), held in New York City. Within its 193 pages, you'll find 9 meticulously revised full papers selected from a competitive pool of 17 submissions. This book is a must-have for researchers and practitioners interested in the latest developments in software verification, providing a comprehensive overview of innovative theories, tools, and experimental results. Enhance your understanding of verified software with this invaluable resource that bridges the gap between theory and practical application.\u003c\/p\u003e","brand":"Supratik Chakraborty","offers":[{"title":"Default Title","offer_id":52255571280214,"sku":"9783030415990","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030415990.jpg?v=1767784937","url":"https:\/\/www.englishbook.pt\/products\/verified-software-theories-tools-and-experiments-springer-nature-switzerland-ag-9783030415990-11th-international-conference-vstte-2019-new-york-city-ny-usa-july-13-14-2019-revised-selected-papers-supratik-chakraborty","provider":"Bookshop","version":"1.0","type":"link"}