MLA

Chockler, Hana, et al. Hardware and Software: Verification and Testing. Springer Berlin Heidelberg, 2009.

APA

Chockler, H., Hu, A. J, Kanade, T., & Kittler, J. (2009). Hardware and Software: Verification and Testing. Springer Berlin Heidelberg.

Chicago

Chockler, Hana, Alan J Hu, Takeo Kanade, and Josef Kittler. Hardware and Software: Verification and Testing. : Springer Berlin Heidelberg, 2009.