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

Understanding Z - 9780521054140

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

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

Formal Semantics of Programming Languages, Winskel, Glynn, Very Good Book

Formal Syntax And Semantics of Programming Language by Kenneth Slonneger

Meaning and Speech Acts: Volume 2, Formal Semantics of Succes... - 9780521104913