Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
| AUTHOR | Dill, David L. |
| PUBLISHER | MIT Press (03/17/2003) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
Show More
Product Format
Product Details
ISBN-13:
9780262541572
ISBN-10:
0262541572
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
163
Carton Quantity:
21
Product Dimensions:
8.30 x 0.60 x 10.80 inches
Weight:
0.95 pound(s)
Feature Codes:
Bibliography,
Index,
Table of Contents
Country of Origin:
US
Subject Information
BISAC Categories
Computers | Computer Science
Grade Level:
College Freshman
and up
Dewey Decimal:
004
Your Price
$29.70