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: Good. Mechanized Reasoning and Hardware Design (Prentice-Hall International Series in Computer Science). Bookseller Inventory # Amz4819588
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