MLA

Bin, Eyal, et al. Hardware and Software, Verification and Testing. Springer Berlin Heidelberg, 2007.

APA

Bin, E., Kanade, T., Ur, S., Ziv, A., & Kittler, J. (2007). Hardware and Software, Verification and Testing. Springer Berlin Heidelberg.

Chicago

Bin, Eyal, Takeo Kanade, Shmuel Ur, Avi Ziv, and Josef Kittler. Hardware and Software, Verification and Testing. : Springer Berlin Heidelberg, 2007.