Design and verification of microprocessor systems for high-assurance applications
Gespeichert in:
Verfasser / Beitragende:
David S. Hardin (ed.)
Ort, Verlag, Jahr:
New York :
Springer,
2010
Beschreibung:
436 S. : Ill.
Format:
Buch
Online Zugang: