CURRENTLY SOLD OUT

Assertion-Based Design by Adam C. Krolnik, Harry D. Foster, David J. Lacey (Paperback, 2012)