Fundamental Proof Methods in Computer Science

A Computer-Based Approach

by Konstantine Arkoudas and David Musser

Hardcover

$60.00

Hardcover

ISBN: 9780262035538

Pub date: May 5, 2017

Publisher: The MIT Press

976 pp., 8 x 9 in, 28 b&w illus.

eTextbook rental

4 Months: $30.00
12 Months: $42.00

eTextbook

ISBN: 9780262035538

Pub date: May 5, 2017

Publisher: The MIT Press

976 pp., 8 x 9 in, 28 b&w illus.

eTextbook