Free Shipping on Orders of $50 or more.

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor - Paperback

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor - Paperback

$89.08
$89.08
Sale Sold out
/
This is a pre order item. We will ship it when it comes in stock.
Lock Secure Transaction

by Miriam Leeser (Editor), Geoffrey Brown (Editor)

The papers in this volume present current research into formal methods for hardware design. The goal of this research is to develop new ways of using logic to specify systems, model hardware and verify designs. Most of the research was performed in the United States.

Number of Pages: 404
Dimensions: 0.84 x 9.21 x 6.14 IN
Illustrated: Yes
Publication Date: February 14, 1990
Report copyright infringement