Take a photo of a barcode or cover
Fundamental Proof Methods in Computer Science: A Computer-Based Approach
—
Konstantine Arkoudas, David Musser
—
Konstantine Arkoudas, David Musser
976 pages • first pub 2017 (view editions)
ISBN/UID: 9780262035538
Format: Hardcover
Language: English
Publisher: MIT Press
Edition Pub 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 (view editions)
ISBN/UID: 9780262035538
Format: Hardcover
Language: English
Publisher: MIT Press
Edition Pub Date: 05 May 2017
informative
reflective
medium-paced
Community Reviews
Content Warnings