Mechanized Reasoning Hardware Design (Prentice-hall International Series in Computer Science) - Hardcover
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.
"synopsis" may belong to another edition of this title.