MLA

Yorav, Karen, Takeo Kanade, and Josef Kittler. Hardware and Software: Verification and Testing. Springer Berlin Heidelberg, 2008.

APA

Yorav, K., Kanade, T., & Kittler, J. (2008). Hardware and Software: Verification and Testing. Springer Berlin Heidelberg.

Chicago

Yorav, Karen, Takeo Kanade, and Josef Kittler. Hardware and Software: Verification and Testing. : Springer Berlin Heidelberg, 2008.