Scan barcode
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
—
Konstantine Arkoudas, David Musser
—
Konstantine Arkoudas, David Musser
976 pages • first pub 2017 (editions)
ISBN/UID: 9780262035538
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 05 May 2017
informative
reflective
medium-paced
Community Reviews
Content Warnings
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
—
Konstantine Arkoudas, David Musser
—
Konstantine Arkoudas, David Musser
976 pages • first pub 2017 (editions)
ISBN/UID: 9780262035538
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 05 May 2017
informative
reflective
medium-paced