{"product_id":"computer-aided-verification-von-undefined-8","title":"Computer Aided Verification","description":"\u003cp\u003eThe refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThe 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540405245\"\u003e\u003ch3\u003e15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783540405245","offer_id":46464075071813,"sku":"9783540405245","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/1e29112e-f90f-4531-ae1e-d0ae10ce02c0.jpg?v=1773554401","url":"https:\/\/shop.autorenwelt.de\/en\/products\/computer-aided-verification-von-undefined-8","provider":"Autorenwelt Shop","version":"1.0","type":"link"}