{"product_id":"verification-model-checking-and-abstract-interpretation-springer-international-publishing-ag-9783031505201-25th-international-conference-vmcai-2024-london-united-kingdom-january-15-16-2024-proceedings-part-ii-rayna-dimitrova","title":"Verification, Model Checking, and Abstract Interpretation","description":"\u003cp\u003eDiscover the latest advancements in the field of software verification with \u003cstrong\u003eVerification, Model Checking, and Abstract Interpretation\u003c\/strong\u003e by \u003cstrong\u003eRayna Dimitrova\u003c\/strong\u003e. Published by Springer International Publishing AG, this comprehensive first edition, released in 2024, spans 340 pages and is an essential resource for researchers and practitioners alike. This two-volume set, encompassing LNCS 14499 and 14500, presents the proceedings from the esteemed 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), held in London, Ontario, Canada, in January 2024. Dive deep into the latest methodologies and practices in program and system verification, making this book a must-have for anyone interested in cutting-edge developments in this critical area of computer science. Enhance your knowledge and stay ahead in the rapidly evolving landscape of verification and model checking with this invaluable addition to your library.\u003c\/p\u003e","brand":"Rayna Dimitrova","offers":[{"title":"Default Title","offer_id":52255408423254,"sku":"9783031505201","price":78.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783031505201.jpg?v=1767784697","url":"https:\/\/www.englishbook.pt\/products\/verification-model-checking-and-abstract-interpretation-springer-international-publishing-ag-9783031505201-25th-international-conference-vmcai-2024-london-united-kingdom-january-15-16-2024-proceedings-part-ii-rayna-dimitrova","provider":"Bookshop","version":"1.0","type":"link"}