Items related to Mechanized Reasoning and Hardware Design (Prentice-hall...

Mechanized Reasoning and Hardware Design (Prentice-hall International Series in Computer Science) - Hardcover

 
9780135724057: Mechanized Reasoning and Hardware Design (Prentice-hall International Series in Computer Science)
Hardcover
ISBN 10: 0135724058 ISBN 13: 9780135724057
Publisher: Prentice Hall, 1992

Synopsis

Covers chip designs, mathematical proof versus simulation, automatic verification of sequential circuit designs, and microprocessor specification and verification

"synopsis" may belong to another edition of this title.

Publisher
Prentice Hall
Publication date
1992
Language
English
ISBN 10 
0135724058
ISBN 13 
9780135724057
Binding
Hardcover
Number of pages
151
Editor
Hoare C. A. R., Gordan Michael J. C.

Buy Used

Condition: Good
This is an ex-library book and...
View this item
9780135724057: Mechanized Reasoning and Hardware Design (Prentice-hall International Series in Computer Science)
US$ 37.40

Convert currency

US$ 17.38 shipping from United Kingdom to U.S.A.

Destination, rates & speeds
Free 30-day returns

Search results for Mechanized Reasoning and Hardware Design (Prentice-hall...

Stock Image

Hoare, C. A. R.
Published by Prentice Hall, 1992
ISBN 10: 0135724058 ISBN 13: 9780135724057
Used Hardcover

Seller: Anybook.com, Lincoln, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9780135724057. Seller Inventory # 8247659

Contact seller

Buy Used

US$ 37.40
Convert currency
Shipping: US$ 17.38
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket