Fundamental Proof Methods in Computer Science Hardcover by Konstantine Arkoudas and David Musser Condition:New let simple
Fundamental Proof Methods in Computer Science Hardcover by Konstantine Arkoudas and David Musser Condition:New let simpleProduct Details Publisher: The MIT Press (2017 05 05) Language: English Paperback: 976 pages ISBN 13: 9780262035538 Item Weight: 1791. 72 grams Dimensions: 9. 31 x 8. 31 x 1. 5 cm A textbook that teaches students to read and write proofs using Athena. Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying that a particular system (or component, or algorithm) has certain
Pay in 4 interest-free payments of $17.77 Learn more
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Jul 31 - Aug 5