Delivery included to the United States

Mechanized Reasoning and Hardware Design

Mechanized Reasoning and Hardware Design

Hardback (01 Jul 1992)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's 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 the Publisher

Prentice Hall

Book information

ISBN: 9780135724057
Publisher: Pearson Education
Imprint: Prentice Hall
Pub date:
DEWEY: 621.392
DEWEY edition: 20
Language: English
Number of pages: 151
Weight: 395g
Height: 180mm
Width: 240mm
Spine width: 20mm