Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas, Konstantine

Fundamental Proof Methods in Computer Science: A Computer-Based Approach (Hardcover) (ISBN-13: 9780262035538)

Vendor: Konstantine Arkoudas
Product type: Books
Format: Hardcover
$60.00
$60.00
$60.00
Subtotal: $60.00
Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas, Konstantine

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

$60.00
Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas, Konstantine

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

$60.00
Format: Hardcover
Description
Description
x
A textbook that teaches students to read and write proofs using Athena.

Author: Konstantine Arkoudas,David Musser
ISBN-10: 0262035537
ISBN-13: 9780262035538
Publisher: MIT Press
Language: English
Published: 05/05/2017
Pages: 976
Format: Hardcover
Weight: 3.70lbs
Size: 9.00h x 8.20w x 1.60d

Review Citation(s):
Choice 03/01/2018
By Konstantine Arkoudas
By Konstantine Arkoudas
x
Konstantine Arkoudas is a Senior Research Scientist and Software Architect at Bloomberg.

David Musser is Professor Emeritus of Computer Science at Rensselaer Polytechnic Institute.

Recently Viewed Products