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 delivery Nov 3 - 30
Christmas presents can be returned until 31 January
Get notified about new Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg) releases

Our customers say:

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

Not rated yet

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

More from the same publisher

See all of Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)