MB

MASSIVE BOOKSHOP

Visit store

MASSIVE BOOKSHOP

4.5 (123)

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

Name: MASSIVE BOOKSHOP Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science: A Computer-Based Approach
Brand: MASSIVE BOOKSHOP
SKU: 44217039094015
Price: 60.0 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$60.00

Quantity

Color

Black

Quantity

Description

Author/Contributor(s): Arkoudas, Konstantine; Musser, David
Publisher: The MIT Press
Date: 5/5/2017
Binding: Hardcover Condition: NEW
A textbook that teaches students to read and write proofs using Athena.Proof is the primary...