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.
- ISBN10 0135724058
- ISBN13 9780135724057
- Publish Date 1 July 1992
- Publish Status Out of Print
- Out of Print 8 February 2010
- Publish Country US
- Imprint Prentice Hall
- Format Hardcover
- Pages 250
- Language English