Understanding Z by J. M. Spivey - 9780521054140

Understanding Z A Specification Language and its Formal Semantics Spivey

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

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

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

Formal Syntax And Semantics of Programming Language by Kenneth Slonneger

Semantics and Syntax by J. Miller

Formal Semantics of Natural Language by