CURRENTLY SOLD OUT

The Foundations of Program Verification by Kurt Sieber (Paperback / softback, 2013)