[ Back to Record ]


  1. 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 ]