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.
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
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