{"product_id":"computer-aided-verification-edmund-m-clarke-9783540544777","title":"Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings","description":"This volume is the proceedings of a workshop presenting results that lead to new or more powerful computer aided verification methods: advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations, and proof-checking in controller verification.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Edmund M. Clarke\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540544771\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540544777\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/02\/1991\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 378\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.21lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.81d","brand":"Edmund M. Clarke","offers":[{"title":"Paperback","offer_id":48459862212863,"sku":"9783540544777","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_a9984c48-3e02-4fd3-87b5-998f41aa407e.jpg?v=1777412215","url":"https:\/\/www.whiterainbookhouse.com\/products\/computer-aided-verification-edmund-m-clarke-9783540544777","provider":"WR Book House","version":"1.0","type":"link"}