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

0 avg rating
( 0 ratings by Goodreads )
 
9780135724057: Mechanized Reasoning and Hardware Design (Prentice-Hall International Series in Computer Science)

The result of a Royal Society Discussion, this book explores the ways in which mechanized reasoning tools can be used to implement good design. It examines the interplay between logic and tools, exploring theoretical possibilities, costs and practical benefits.

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

Top Search Results from the AbeBooks Marketplace

1.

Published by Prentice Hall (1992)
ISBN 10: 0135724058 ISBN 13: 9780135724057
Used Hardcover Quantity Available: 1
Seller
Solr Books
(Skokie, IL, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1992. Hardcover. Book Condition: Fine. May contain slight cover/edge wear. Inside is in mint condition. Ships Fast! Satisfaction Guaranteed!. Bookseller Inventory # mon0000548949

More Information About This Seller | Ask Bookseller a Question

Buy Used
35.75
Convert Currency

Add to Basket

Shipping: 3.04
Within U.S.A.
Destination, Rates & Speeds

2.

Published by Prentice Hall (1992)
ISBN 10: 0135724058 ISBN 13: 9780135724057
Used Hardcover Quantity Available: 1
Seller
Solr Books
(Skokie, IL, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1992. Hardcover. Book Condition: Good. Great reading/study copy. May have highlights and/or notes. Ships Fast! Satisfaction Guaranteed!. Bookseller Inventory # mon0000546552

More Information About This Seller | Ask Bookseller a Question

Buy Used
37.10
Convert Currency

Add to Basket

Shipping: 3.04
Within U.S.A.
Destination, Rates & Speeds

3.

C. A. R. Hoare, C. A. R. Hoare (Editor), Michael J. C. Gordan (Editor)
Published by Prentice Hall (1992)
ISBN 10: 0135724058 ISBN 13: 9780135724057
Used Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1992. Hardcover. Book Condition: Used: Good. Bookseller Inventory # SONG0135724058

More Information About This Seller | Ask Bookseller a Question

Buy Used
61.60
Convert Currency

Add to Basket

Shipping: 3.04
Within U.S.A.
Destination, Rates & Speeds

4.

Hoare, C A R and Gordon, M J C (Eds.)
Published by Prentice Hall (1992)
ISBN 10: 0135724058 ISBN 13: 9780135724057
Used Hardcover Quantity Available: 1
Seller
Anybook Ltd.
(Lincoln, United Kingdom)
Rating
[?]

Book Description Prentice Hall, 1992. Book 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. , 500grams, ISBN:9780135724057. Bookseller Inventory # 6383007

More Information About This Seller | Ask Bookseller a Question

Buy Used
165.92
Convert Currency

Add to Basket

Shipping: 6.10
From United Kingdom to U.S.A.
Destination, Rates & Speeds