{"product_id":"computer-aided-verification-ahmed-bouajjani-9783642026577","title":"Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceedings","description":"This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June\/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully reviewed and selected from 135 regular paper and 34 tool paper submissions. The papers are dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems; their scope ranges from theoretical results to concrete applications, with an emphasis on practical verification tools and the underlying algorithms and techniques.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Ahmed Bouajjani\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3642026575\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642026577\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/19\/2009\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 722\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.25lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.20h x 6.10w x 1.00d","brand":"Ahmed Bouajjani","offers":[{"title":"Paperback","offer_id":48486975602943,"sku":"9783642026577","price":109.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_4400676d-8dc6-4aed-805f-be566aef887f.jpg?v=1778057516","url":"https:\/\/www.whiterainbookhouse.com\/products\/computer-aided-verification-ahmed-bouajjani-9783642026577","provider":"WR Book House","version":"1.0","type":"link"}