{"product_id":"9783030816841","title":"Computer Aided Verification","description":"\u003cp\u003eThis open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.\u003c\/p\u003e\n\n\u003cp\u003eThe 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:\u003c\/p\u003e\n\n\u003cp\u003ePart I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis.\u003c\/p\u003e\n\n\u003cp\u003ePart II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.\u003c\/p\u003e\u003cp\u003eThis is an open access book.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePublication Year: \u003c\/strong\u003e2021\u003cbr\u003e\u003cstrong\u003eImprint: \u003c\/strong\u003eSpringer International Publishing\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\u003c\/strong\u003e\u003c\/p\u003e","brand":"Alexandra Silva","offers":[{"title":"Default Title","offer_id":41267419611314,"sku":"9783030816841","price":885418.17,"currency_code":"IDR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0502\/5382\/4178\/products\/3030816842.01_SCLZZZZZZZ.jpg?v=1636039417","url":"https:\/\/readabook.store\/en-id\/products\/9783030816841","provider":"READABOOK BY ALKEM","version":"1.0","type":"link"}