Description:
Mit Press. Used - Very Good. 1989. Hardcover. Very Good.
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation) by David L. Dill - 1989-09-07
by David L. Dill
Similar copies are shown below.
Similar copies are shown to the right.
Stock Photo: Cover May Be Different
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)
by David L. Dill
- Used
- Good
- Hardcover
The MIT Press, 1989-09-07. Hardcover. Good.
- Bookseller Ergodebooks (US)
- Format/Binding Hardcover
- Book Condition Used - Good
- Quantity Available 1
- Binding Hardcover
- ISBN 10 0262041014
- ISBN 13 9780262041010
- Publisher The MIT Press
- Date Published 1989-09-07
We have 4 copies available starting at NZ$50.91.
Stock Photo: Cover May Be Different
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
by Dill, David L
- Used
- Hardcover
- Condition
- Used - Very Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262041010 / 0262041014
- Quantity Available
- 1
- Seller
-
Chicago, Illinois, United States
- Item Price
-
NZ$50.91NZ$3.50 shipping to
Show Details
Item Price
NZ$50.91
NZ$3.50
shipping to
Stock Photo: Cover May Be Different
Trace Theory For Automatic Hierarchical Verification Of Speed-Independent Circuits (Acm Distinguished Dissertation)
by Dill, David L
- Used
- near fine
- Hardcover
- first
- Condition
- Used - Near Fine
- Edition
- 1st Edition 1st Printing
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262041010 / 0262041014
- Quantity Available
- 1
- Seller
-
Pasadena, California, United States
- Item Price
-
NZ$78.01NZ$7.00 shipping to
Show Details
Description:
Cambridge Ma: Mit Press, 1989. 1st Edition 1st Printing. Hardcover. Near Fine. [Xvi], 163 Pp + 1 Pp Catalog At End. Black Boards Stamped In White And Blue. First Printing. Lightly Used, No Marks. David Lansing Dill (Born January 8, 1957) Is A Computer Scientist And Academic Noted For Contributions To Formal Verification, Electronic Voting Security, And Computational Systems Biology. In 2013, Dill Was Elected As A Member Into The National Academy Of Engineering For The Development Of Techniques To Verify Hardware, Software, And Electronic Voting Systems. He Is The Donald E. Knuth Professor, Emeritus, In The School Of Engineering And Professor, Emeritus, Of Computer Science At Stanford University. Dill Is A Fellow Of The Acm And The Ieee. His Dissertation Won The Acm Distinguished Dissertation Award In 1988, And In The Same Year, He Was Named A Presidential Young Investigator. He Received Best Paper Awards At The Ieee International Conference On Computer Design In 1991 And At The Design Automation…
Read More Item Price
NZ$78.01
NZ$7.00
shipping to
Stock Photo: Cover May Be Different
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (Acm Distinguished Dissertations)
by Dill, David L
- Used
- Good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262041010 / 0262041014
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
NZ$137.02FREE shipping to
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
NZ$137.02
FREE shipping to
Stock Photo: Cover May Be Different
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)
by David L Dill
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262041010 / 0262041014
- Quantity Available
- 1
- Seller
-
revere, Massachusetts, United States
- Item Price
-
NZ$131.38NZ$4.50 shipping to
Show Details
Description:
new hc
Item Price
NZ$131.38
NZ$4.50
shipping to