Fundamental Proof Methods in Computer Science

Fundamental Proof Methods in Computer Science

A Computer-Based Approach

by Konstantine Arkoudas and David Musser

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

  • Hardcover
  • 9780262035538
  • Published: May 5, 2017
  • Publisher: The MIT Press

$60.00