Refinement in Z and Object-Z : Foundations and Advanced Applications (Formal Approaches to Computing and Information Technology)
466pp, 4pp publisher's ads. Pictorial light card covers. Light chipping to edges. Lender has strengthened covers with clear rigid boards. Lender' label inside cover, barcode and remnants of lending sheet along with some tamps on half-title and copyright pages . Internally, neat, clean, bright and tight. 8vo.
