[
Back to Record
]
Bib ID# 15710
ISBN: 9781441915399
UPC: 10.1007/978-1-4419-1539-9
Title: Design and Verification of Microprocessor Systems for High-Assurance Applications
Author: Hardin, David S.
Publication Info:
Item Type: Language material
[
Back to Record
]