{"product_id":"fundamental-proof-methods-in-computer-konstantine-arkoudas-9780262035538","title":"Fundamental Proof Methods in Computer Science: A Computer-Based Approach","description":"A textbook that teaches students to read and write proofs using Athena.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Konstantine Arkoudas,David Musser\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0262035537\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780262035538\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/05\/2017\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 976\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 3.70lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.00h x 8.20w x 1.60d\u003cbr\u003e\u003cbr\u003e\u003cb\u003eReview Citation(s): \u003c\/b\u003e\u003cbr\u003e\u003ci\u003eChoice\u003c\/i\u003e 03\/01\/2018","brand":"Konstantine Arkoudas","offers":[{"title":"Hardcover","offer_id":48443284750591,"sku":"9780262035538","price":60.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_62e51002-f5fb-4cbb-8608-2d2aa242304a.jpg?v=1777204491","url":"https:\/\/www.whiterainbookhouse.com\/products\/fundamental-proof-methods-in-computer-konstantine-arkoudas-9780262035538","provider":"WR Book House","version":"1.0","type":"link"}