Design and Verification of Microprocessor Systems for High-Assurance Applications [electronic resource] / edited by David S. Hardin.
Record details
- ISBN: 9781441915399
- Physical Description: XIV, 436p. 360 illus., 180 illus. in color. online resource.
- Publisher: Boston, MA : Springer US, 2010.
Search for related items by subject
Electronic resources
No Content Available