Fundamental Proof Methods in Computer Science

A Computer-Based Approach

David Musser author Konstantine Arkoudas author

Format:Hardback

Publisher:MIT Press Ltd

Published:5th May '17

Currently unavailable, and unfortunately no date known when it will be back

Fundamental Proof Methods in Computer Science cover

This non-fiction hardback, "Fundamental Proof Methods in Computer Science" from David Musser & Konstantine Arkoudas, was published 5th May 2017 by MIT Press Ltd.

ISBN: 9780262035538

Dimensions: 229mm x 203mm x 33mm

Weight: unknown

976 pages