1 / 1
- 2017
- year of publication
- 976
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6203-553-8
- EAN
- 9780262035538
- Publication date
- 2017-05-05
- Book
- Fundamental Proof Methods in Computer Science · 1 edition
The publisher on this edition
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...