Description:
Mit Press. Used - Very Good. 1989. Hardcover. Very Good.
Stock Photo: Cover May Be Different
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation) Hardcover - 1989
by Dill, David L
Details
- Title Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)
- Author Dill, David L
- Binding Hardcover
- Publisher The MIT Press
- Date 1989-09
- ISBN 9780262041010
More Copies for Sale
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$52.20NZ$5.89 shipping to USA
Show Details
Item Price
NZ$52.20
NZ$5.89
shipping to USA
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$79.98NZ$11.79 shipping to USA
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$79.98
NZ$11.79
shipping to USA
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
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780262041010 / 0262041014
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
NZ$123.51FREE shipping to USA
Show Details
Description:
The MIT Press, 1989-09-07. Hardcover. Good.
Item Price
NZ$123.51
FREE shipping to USA
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$134.70NZ$7.58 shipping to USA
Show Details
Description:
new hc
Item Price
NZ$134.70
NZ$7.58
shipping to USA