*Result*: Design and Verification of Microprocessor Systems for High-Assurance Applications
*Title*:
Design and Verification of Microprocessor Systems for High-Assurance Applications / edited by David S. Hardin
*Author/editor-in-chief*:
*Edition*:
1st ed. 2010
*Publication*:
New York, NY : Springer US, 2010
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XIV, 436 Seiten)
*Format*:
*Language*:
*eng*
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Design and Verification of Microprocessor Systems for High-Assurance Applications. - New York, NY : Springer US, 2010. - ISBN 9781441915382
*RVK-Notation*:
*ISBN*:
9781441915399 ; 1441915397 ; 9781441915382 (Sekundärausgabe) ; 9781441915542 (Sekundärausgabe) ; 9781489984593 (Sekundärausgabe)
*DOI*:
10.1007/978-1-4419-1539-9