Buy Products not in the Philippines

Galleon.PH - Discover, Share, Buy!

Design and Verification of Microprocessor Systems for High-Assurance Applications

Product ID : 35045234

Galleon Product ID 35045234
UPC / ISBN 1489984593
Shipping Weight 1.74 lbs
I think this is wrong?
Binding: Paperback
(see available options)
Shipping Dimension 9.25 x 6.1 x 1.02 inches
I think this is wrong?
Edition 2010
Number Of Pages 436
Publication Date 2014-11-28
Release Date 2014-11-28
Save 15%
Before ₱ 16,855

*Price and Stocks may change without prior notice
  • 3 Day Return Policy
  • All products are genuine and original
  • Cash On Delivery/Cash Upon Pickup Available

Pay with


This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.