ISBN 9780137010929 is out of print and is currently unavailable, alternate formats (if applicable) are shown below.
Available options are listed below:
Available options are listed below:
Hardware Design Verification: Simulation and Formal Method-Based Approaches (Out of print)
| AUTHOR | Lam, William K. |
| PUBLISHER | Prentice Hall (11/01/2008) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
Show More
Product Format
Product Details
ISBN-13:
9780137010929
ISBN-10:
0137010923
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
585
Carton Quantity:
14
Product Dimensions:
7.00 x 1.40 x 9.10 inches
Weight:
2.20 pound(s)
Feature Codes:
Bibliography,
Index,
Table of Contents,
Illustrated
Country of Origin:
US
Subject Information
BISAC Categories
Technology & Engineering | Electronics - Semiconductors
Technology & Engineering | Electrical
Technology & Engineering | Computer Engineering
Dewey Decimal:
621.392
Descriptions, Reviews, Etc.
Author:
Lam, William K.
William K. Lam is senior engineering manager at Sun Microsystems Laboratories and the 2002 winner of the Chairman's Award for Innovation, Sun's highest award for technical achievement. He holds a Ph.D. in electrical engineering and computer science from the University of California, Berkeley, where he won the 1994 David J. Sakrison Memorial Award for distinguished Ph.D. thesis.
0131433474AB02072005
0131433474AB02072005
Show More
List Price $120.00
Your Price
$118.80