{"product_id":"computer-aided-verification-2nd-internatonal-conference-cav-90-new-brunswick-nj-usa-june-18-21-1990-proceedings-9783540544777","title":"Computer-Aided Verification: 2nd Internatonal Conference, Cav '90, New Brunswick, Nj, Usa, June 18-21, 1990. Proceedings","description":"\u003cp\u003e • Author(s): Edmund M. Clarke | Robert P. Kurshan\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Electronics - Circuits - General\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47615123030167,"sku":"9783540544777","price":5744.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540544777.webp?v=1775098185","url":"https:\/\/atlanticbooks.com\/products\/computer-aided-verification-2nd-internatonal-conference-cav-90-new-brunswick-nj-usa-june-18-21-1990-proceedings-9783540544777","provider":"Atlantic Books","version":"1.0","type":"link"}