{"product_id":"9783030393212-verification-model-checking-and-abstra","title":"Verification, Model Checking, and Abstract Interpretation","description":"\u003cmeta content=\"text\/html; charset=utf-8\" http-equiv=\"Content-Type\"\u003e\u003cp\u003e\u003cspan\u003e21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings\u003cbr\u003eThis book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.\u003cbr\u003e\u003cbr\u003e\u003c\/span\u003e\u003c\/p\u003e","brand":"Rarewaves","offers":[{"title":"Default Title","offer_id":56282733445494,"sku":"9783030393212","price":86.81,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0092\/7504\/8033\/files\/orig_36202499_abed270c-6187-44ec-af25-0b629e64f882.jpg?v=1758768281","url":"https:\/\/www.rarewaves.com\/products\/9783030393212-verification-model-checking-and-abstra","provider":"Rarewaves.com","version":"1.0","type":"link"}