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

Hoare, C. A. R.

ISBN 10: 0135724058 ISBN 13: 9780135724057

Published by Prentice Hall, 1992

Used Hardcover

From Anybook.com, Lincoln, United Kingdom Seller rating 5 out of 5 stars

Heritage Bookseller
AbeBooks member since 1996

This book is no longer available. AbeBooks has millions of books. Please enter search terms below to find similar copies.

View this seller's items Create a Want for similar items

View all copies of this book

About this Item

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

Report this item

Synopsis:

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.

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

Bibliographic Details

Title: Mechanized Reasoning Hardware Design (...
Publisher: Prentice Hall
Publication Date: 1992
Binding: Hardcover
Condition: Good

AbeBooks offers millions of new, used, rare and out-of-print books, as well as cheap textbooks from thousands of booksellers around the world. Shopping on AbeBooks is easy, safe and 100% secure - search for your book, purchase a copy via our secure checkout and the bookseller ships it straight to you.