ISBN-13: 9783319594170, 978-3319594170. 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