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

0 avg rating
( 0 ratings by GoodReads )
 
9780135724057: Mechanised 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.

Hoare; Gordon
ISBN 10: 0135724058 ISBN 13: 9780135724057
Used Quantity Available: 1
Seller
Big Hearted Books
(Sharon, MA, U.S.A.)
Rating
[?]

Book Description Book Condition: VeryGood. Book is in very good condition. There is no writing or highlighting, spine is tight and the pages are uncreased. We ship within 1 business day. Bookseller Inventory # 34FCX8000ZAY

More Information About This Seller | Ask Bookseller a Question

Buy Used
171.12
Convert Currency

Add to Basket

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

2.

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