Skip to content
Home/ Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Inst
Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Inst

Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Inst

No customer reviews yet ISBN 9780387972268

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.

About the author

Product details

Pub dateFeb 14, 1990
ISBN-100387972269
ISBN-139780387972268
LanguageEnglish
Last updated 2026-07-23 23:33
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Logic Design
See all
Logic Circuit Design
Shaw, Alan W
$338.71
Signal and Power Integrity in Digital Systems: TTL, CMOS, and BICMOS
Buchanan, James E
$61.24
Photodiode Amplifiers: Op Amp Solutions
Graeme, Jerald G
$101.94
Introduction to Logic Design [With CDROM]
Marcovitz, Alan B
$105.50
Introduction to Logic Design (Revised)
Marcovitz, Alan B
$298.12
System-On-Chip Test Architectures: Nanometer Design for Testability Volume .
Wang, Laung-Terng
$83.70