Cita APA

SpringerLink (Online service), & Hardin, D. S. (2010). Design and Verification of Microprocessor Systems for High-Assurance Applications (1st ed. 2010.). New York, NY: Springer US : Imprint: Springer.

Citación estilo Chicago

SpringerLink (Online service), y David S. Hardin. Design and Verification of Microprocessor Systems for High-Assurance Applications. 1st ed. 2010. New York, NY: Springer US : Imprint: Springer, 2010.

Cita MLA

SpringerLink (Online service), y David S. Hardin. Design and Verification of Microprocessor Systems for High-Assurance Applications. 1st ed. 2010. New York, NY: Springer US : Imprint: Springer, 2010.