{"product_id":"verified-software-theories-tools-and-experiments-springer-international-publishing-ag-9783031660634-15th-international-conference-vstte-2023-ames-ia-usa-october-23-24-2023-revised-selected-papers-andrew-reynolds","title":"Verified Software. Theories, Tools and Experiments","description":"\u003cp\u003eDiscover cutting-edge research in software verification with \u003cstrong\u003eVerified Software: Theories, Tools and Experiments\u003c\/strong\u003e by \u003cstrong\u003eAndrew Reynolds\u003c\/strong\u003e. This insightful book is the official proceedings of the 15th International Conference on Verified Software, VSTTE 2023, which took place in Ames, IA, USA, on October 23–24, 2023. The volume features six meticulously reviewed and selected full papers from a competitive pool of thirteen submissions, showcasing the latest advancements in the field. Published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2024, this paperback edition spans 109 pages and offers valuable insights for researchers, practitioners, and students interested in software verification methodologies and tools. Enhance your understanding of verified software with this essential addition to your library.\u003c\/p\u003e","brand":"Andrew Reynolds","offers":[{"title":"Default Title","offer_id":52255408259414,"sku":"9783031660634","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031660634.jpg?v=1767784696","url":"https:\/\/www.englishbook.pt\/products\/verified-software-theories-tools-and-experiments-springer-international-publishing-ag-9783031660634-15th-international-conference-vstte-2023-ames-ia-usa-october-23-24-2023-revised-selected-papers-andrew-reynolds","provider":"Bookshop","version":"1.0","type":"link"}