The following text field will produce suggestions that follow it as you type.

Design and Verification of Microprocessor Systems for High-Assurance Applications / Edition 1
Design and Verification of Microprocessor Systems for High-Assurance Applications / Edition 1

Design and Verification of Microprocessor Systems for High-Assurance Applications / Edition 1

Current price: $169.99
Loading Inventory...
Get it at Barnes and Noble

Size: OS

Get it at Barnes and Noble
This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.
Powered by Adeptmind