Design and verification of microprocessor systems for high-assurance applications

Verfasser / Beitragende:
David S. Hardin (ed.)
Ort, Verlag, Jahr:
New York : Springer, 2010
Beschreibung:
436 S. : Ill.
Format:
Buch
ID: 170966038