Design and Verification of Microprocessor Systems for High-Assurance Applications [electronic resource] / edited by David S. Hardin.
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9781441915399
- Physical Description: XIV, 436p. 360 illus., 180 illus. in color. online resource.
- Publisher: Boston, MA : Springer US, 2010.