Fundamental Proof Methods in Computer Science: A Computer-Based Approach
| AUTHOR | Musser, David; Arkoudas, Konstantine |
| PUBLISHER | MIT Press (05/05/2017) |
| PRODUCT TYPE | Hardcover (Hardcover) |
Description
Show More
Product Format
Product Details
ISBN-13:
9780262035538
ISBN-10:
0262035537
Binding:
Hardback or Cased Book (Sewn)
Content Language:
English
More Product Details
Page Count:
976
Carton Quantity:
12
Product Dimensions:
8.20 x 1.60 x 9.00 inches
Weight:
3.70 pound(s)
Feature Codes:
Bibliography,
Index,
Price on Product
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Programming - General
Computers | Machine Theory
Computers | Computer Science
Grade Level:
College Freshman
and up
Dewey Decimal:
004.015
Library of Congress Control Number:
2016020047
Your Price
$59.40