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

PREDICATE CALCULUS AND PROGRAM SEMANTICS (MONOGRAPHS IN By Edsger W. Dijkstra

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

Programming Language Syntax Semantics by Watt (Paperback, 1991)

Understanding Z A Specification Language and its Formal Semantics Spivey

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

Colourful Semantics - 9780367210502