Understanding Z: A Specification Language and its Formal Semantics (Cambridge T

Understanding Z - 9780521054140

Understanding Z A Specification Language and its Formal Semantics Spivey

Understanding Z: A Specification Language and its F... by Spivey, J. M. Hardback

Understanding Z: A Specification Language and its Formal Semantics by J.M. Spive

Introduction Formal Specification And Z (2nd Edition) (Prentice-

POW Odyssey; Recollections of Center Compound Stalag Luft III - Spivey

Linear Optimization By W. Allen Spivey & Robert M. Thrall