Assertion-Based Design

EAN/UPC/ISBN Code 9780387522500