Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science - Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg) - Books - MIT Press Ltd - 9780262035538 - May 5, 2017
In case cover and title do not match, the title is correct

Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)
Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science

Price
$ 58.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 26 - Jun 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

A textbook that teaches students to read and write proofs using Athena.

976 pages, 28 b&w illus.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 5, 2017
ISBN13 9780262035538
Publishers MIT Press Ltd
Pages 976
Dimensions 284 × 213 × 40 mm   ·   1.68 kg

See all of Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg) ( e.g. Hardcover Book )