ISBN-13: 9783319866208, 978-3319866208. The author first outlines all of the verification sub-fields at a high level, with just enough depth to allow an engineer to grasp the field before delving into its detail.
eBay