Understanding Z : a specification language and its formal semantics /

Z80 assembly language subroutines /
by: Leventhal, Lance A., 1945-
Published: (1983)

Z User Workshop : proceedings of the Fourth Annual Z User Meeting, Oxford, 15 December 1989 /
Published: (1990)

Z/OS Job Control Language /
by: Brown, Gary DeWard
Published: (2002)

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings /
Published: (2005)

Synonymy and semantic classification /
by: Sparck Jones, Karen, 1935-2007
Published: (1986)

Object orientation in Z /
Published: (1992)

Z User Workshop, London 1992 : proceedings of the Seventh annual Z User Meeting, London, 14-15 December 1992 /
Published: (1993)

Semantics of programming languages /
by: Tennent, R. D., 1944-
Published: (1991)

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings /
Published: (2003)

Concepts and semantics of programming languages. a semantical approach with OCaml and Python /
by: Hardin, Therese
Published: (2021)

Semantics of specification languages (SoSL) : proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25-27 October 1993 /
Published: (1994)

A theory of programming language semantics /
by: Milne, Robert, 1948-
Published: (1976)

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings /
Published: (2000)

The semantics of programming languages : an elementary introduction using structural operational semantics /
by: Hennessy, Matthew
Published: (1990)

Journal on data semantics I /
Published: (2003)

Semantics of programming languages : structures and techniques /
by: Gunter, Carl A.
Published: (1992)

Semantics of sequential and parallel programs /
by: Best, Eike, 1951-
Published: (1996)

Refinement in Z and Object-Z : foundations and advanced applications /
by: Derrick, John, 1963-
Published: (2001)

Comparative metric semantics of programming languages : nondeterminism and recursion /
by: Breugel, Franck van, 1966-
Published: (1998)

Denotational semantics : the Scott-Strachey approach to programming language theory /
by: Stoy, Joseph
Published: (1977)

Action semantics /
by: Mosses, Peter D.
Published: (1992)

Formal semantics and pragmatics for natural language querying /
by: Clifford, James
Published: (1990)

Object orientation in Z /
Published: (1992)

ZB 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings /
Published: (2003)

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings /
Published: (2000)

Journal on data semantics VIII /
Published: (2007)

Full abstraction and semantic equivalence /
by: Mulmuley, Ketan
Published: (1987)

Computational semantics with functional programming /
by: Eijck, J. van (Jan)
Published: (2010)

Transitions and trees : an introduction to structural operational semantics /
by: Hüttel, Hans
Published: (2010)

Natural language understanding /
by: Allen, James
Published: (1995)

Semantics engineering with PLT Redex /
by: Felleisen, Matthias
Published: (2009)

Logic programming : operational semantics and proof theory /
by: Andrews, James H.
Published: (1992)

ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings /
Published: (1997)

Algebraic approaches to program semantics /
by: Manes, Ernest G., 1943-
Published: (1986)

ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings /
Published: (2002)

Journal on data semantics IX /
Published: (2007)