CURRENTLY SOLD OUT

Introduction to Formal Hardware Verification by Thomas Kropf (Paperback, 2010)