You need to sign in or sign up before continuing.

Browse editions

Current edition
Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Konstantine Arkoudas, David Musser
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
—
Konstantine Arkoudas, David Musser

Fundamental Proof Methods in Computer Science: A Computer-Based Approach

Konstantine Arkoudas, David Musser

976 pages • first pub 2017 (editions)

informative reflective medium-paced
Other editions (0)