Treffer: Design and Verification of Microprocessor Systems for High-Assurance Applications
Titel:
Design and Verification of Microprocessor Systems for High-Assurance Applications / edited by David S. Hardin
Beteiligt:
Ausgabe:
1st ed. 2010
Veröffentlicht:
New York, NY : Springer US, 2010
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 436 Seiten)
Format:
Sprache:
Englisch
Andere Ausgaben:
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