Fundamental proof methods in computer science : a computer-based approach / Konstantine Arkoudas and David Musser.
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 desirable properties. This book teaches students how to read and write proofs using Athena, a free...
| Main Authors: | |
|---|---|
| Language: | English |
| Published: |
Cambridge, MA :
MIT Press,
[2017]
|
| Subjects: | |
| Physical Description: | xxvii, 941 pages ; 24 cm |
| Format: | Book |