CURRENTLY SOLD OUT

Refinement in Z and Object-Z: Foundations and Advanced Applications by Eerke A. Boiten, John Derrick (Paperback, 2014)