{"product_id":"computer-aided-verification-10th-international-conference-cav98-vancouver-bc-canada-june-28-july-2-1998-proceedings-von-alan-j-hu-moshe-y-vardi-hrsg","title":"Computer Aided Verification","description":"This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June\/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540646082\"\u003e\u003ch3\u003e10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540646082","offer_id":39437435764829,"sku":"9783540646082","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/e5389c2e-c9c9-433f-8f2c-26da695a1f06.jpg?v=1773553873","url":"https:\/\/shop.autorenwelt.de\/products\/computer-aided-verification-10th-international-conference-cav98-vancouver-bc-canada-june-28-july-2-1998-proceedings-von-alan-j-hu-moshe-y-vardi-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}