Fundamental Proof Methods in Computer Sciencethe_mit_press978-02-6203-553-897802620355382017-05-05English (United States)976HardcoverBook profileEnglish (United States)
Book · 1 edition
Fundamental Proof Methods in Computer Science
- 2017
- first published
- English
- language
- 1
- edition in English
- 976
- pages
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...
Editions
1 edition · sort: newestFundamental Proof Methods in Computer Sciencethe_mit_press978-02-6203-553-897802620355382017-05-05English (United States)976Hardcover