Cover Image

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

Show other versions (1)

Bibliographic Details
Corporate Authors:	International Conference of Z Users Reading, England, SpringerLink (Online service)
Other Authors:	Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-, Till, David, 1942-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1212.
Subjects:	Z (Computer program language) > Congresses. sémantique langage programmation. langage spécification. langage Z. Z (Langage de programmation) > Congrès. Z (Computer program language) Z (programmeertaal) Programmatuurtechniek. Engenharia De Programacao (Software) Z (langage de programmation) > Congrès. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings /
Published: (1998)

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)

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)

Object orientation in Z /
Published: (1992)

Z User Workshop, Oxford, 1990 : proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford /
Published: (1991)

The Z notation : a reference manual /
by: Spivey, J. M.
Published: (1989)

Writing optimized Java applications for z/OS /
Published: (2002)

Formal syntax and semantics of Java /
Published: (1999)

Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings /
Published: (1992)

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

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)

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

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)

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

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)

Z80 applications /
by: Coffron, James
Published: (1983)

Programming in Haskell /
by: Hutton, Graham, 1968-
Published: (2007)

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /
Published: (1994)

Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /
Published: (1997)

Understanding Z : a specification language and its formal semantics /
by: Spivey, J. M.
Published: (1988)

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings /
Published: (1990)

Object orientation in Z /
Published: (1992)

ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
Published: (1986)

Z° physics : Cargèse 1990 /
Published: (1991)

Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures /
Published: (2002)

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)

Z⁰ physics : Cargèse, 1990 /
Published: (1991)

Programming languages and their definition /
by: Bekič, H. (Hans), 1936-1982
Published: (1984)

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)

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

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

Gen Z, explained : the art of living in a digital age /
by: Katz, Roberta R., et al.
Published: (2021)

Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
Published: (1980)

Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca /
Published: (1977)

CASL reference manual : the complete documentation of the Common Algebraic Specification Language /
Published: (2004)

Using SQL in Python : how to query databases using Python.
Published: (2025)

Ada 95 reference manual : language and standard libraries /
Published: (1995)

Z8000 handbook /
by: Moore, Martin L.
Published: (1982)

Implementation of functional languages : 8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16-18, 1996 : selected papers /
Published: (1997)

Form.Z 4 : 3D modelling, rendering, and animation /
by: Khemlani, Lachmi
Published: (2004)