Design and Verification of Microprocessor Systems for High-Assurance Applications
Record details
- ISBN: 9781441915399
-
Physical Description:
electronic
electronic resource
access
remote
XIV, 436p. 360 illus., 180 illus. in color. online resource. - Publisher: Boston, MA : Springer US, 2010.