{"product_id":"verification-model-checking-and-abstract-interpretation-springer-nature-switzerland-ag-9783030670665-22nd-international-conference-vmcai-2021-copenhagen-denmark-january-17-19-2021-proceedings-fritz-henglein","title":"Verification, Model Checking, and Abstract Interpretation","description":"\u003cp\u003eDiscover the cutting-edge insights presented in \u003cstrong\u003eVerification, Model Checking, and Abstract Interpretation\u003c\/strong\u003e by Fritz Henglein. This comprehensive volume features the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021), held virtually from January 17-19, 2021. Published by Springer Nature Switzerland AG, this first edition spans an impressive 604 pages, making it an essential resource for researchers and practitioners in the field. Dive into the latest advancements and methodologies in verification and model checking, and explore how abstract interpretation plays a crucial role in software analysis. Whether you are a seasoned expert or a newcomer, this book offers valuable knowledge to enhance your understanding of these pivotal topics in computer science.\u003c\/p\u003e","brand":"Fritz Henglein","offers":[{"title":"Default Title","offer_id":52255572296022,"sku":"9783030670665","price":96.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030670665.jpg?v=1767784938","url":"https:\/\/www.englishbook.pt\/products\/verification-model-checking-and-abstract-interpretation-springer-nature-switzerland-ag-9783030670665-22nd-international-conference-vmcai-2021-copenhagen-denmark-january-17-19-2021-proceedings-fritz-henglein","provider":"Bookshop","version":"1.0","type":"link"}