MLA

Namjoshi, Kedar, et al. Hardware and Software: Verification and Testing. Springer Berlin Heidelberg, 2011.

APA

Namjoshi, K., Kanade, T., Zeller, A., & Ziv, A. (2011). Hardware and Software: Verification and Testing. Springer Berlin Heidelberg.

Chicago

Namjoshi, Kedar, Takeo Kanade, Andreas Zeller, and Avi Ziv. Hardware and Software: Verification and Testing. : Springer Berlin Heidelberg, 2011.