MLA

Ur, Shmuel, et al. Hardware and Software, Verification and Testing. Springer Berlin / Heidelberg, 2006.

APA

Ur, S., Bin, E., Kanade, T., & Wolfsthal, Y. (2006). Hardware and Software, Verification and Testing. Springer Berlin / Heidelberg.

Chicago

Ur, Shmuel, Eyal Bin, Takeo Kanade, and Yaron Wolfsthal. Hardware and Software, Verification and Testing. : Springer Berlin / Heidelberg, 2006.