BooksCloudSKU: 9780387972268
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor - Paperback
$96.08
/
Shipping calculated at checkout.
In stock (50)
$96.08
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor - Paperback
$96.08
/
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop. Cornell University Ithaca, New Yor - Paperback
$96.08
/
products.product.pickup_availability.unavailable
Still deciding?
Payment & Security
Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.
Security
Related categories
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.
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
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee
