Advanced search | The Library Supply Company

Filter Results

Large print only

Audiobooks only

Genre

Readership/Audience

Format

Publication Date

Publication Country

Availability

Subject

Computing and Information Technology (1)

To view prices and purchase online, please login, or register for an account.

Konstantine Arkoudas

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

(Hardback)

By: Konstantine Arkoudas

ISBN: 9780262035538 Copied!
Readership/Audience: Tertiary Education
Publication Date: May 2017
Publisher: MIT Press Ltd
See more...

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

This website uses cookies to provide you with a great user experience. By using our The Library Supply Company website you consent to all cookies in accordance with our Privacy Statement & Cookie Policy.