{"product_id":"dimitrova-rayna-verification-model-checking-and-abstract-interpretation-25th-international-conference-vmcai-2024-london-united-kingdom-january-15-16-2024-notes-in-computer-science-band-14500-9783031505201","title":"Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, ... Notes in Computer Science, Band 14500)","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53701442011478,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783031505201_1_3393a354-ce36-4c56-8f62-6697076498b0.jpg?v=1781757525","url":"https:\/\/www.momoxbooks.com\/products\/dimitrova-rayna-verification-model-checking-and-abstract-interpretation-25th-international-conference-vmcai-2024-london-united-kingdom-january-15-16-2024-notes-in-computer-science-band-14500-9783031505201","provider":"momoxbooks","version":"1.0","type":"link"}