Sign in
Join Literal
Fundamental Proof Methods in Computer Science
David Musser
Want to read
Sign up to use
David Musser
Fundamental Proof Methods in Computer Science
A Computer-Based Approach
David Musser,
David R. Musser,
Konstantine Arkoudas
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
A textbook that teaches students to read and write proofs using Athena.
Discover more books like Fundamental Proof Methods in Computer Science
