Z. Notation: A Reference Manual (Prentic... by Spivey, J.M. Paperback / softback

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

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

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

Understanding Z A Specification Language and its Formal Semantics Spivey

Spivey - Understanding Z A Specification Language and Its Formal Sema - X555z

Understanding Z - 9780521054140