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 /

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)

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)

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)

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

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

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

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

Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1995)

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

Language hierarchies and interfaces : international summer school /
Published: (1976)

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

FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
Published: (1994)

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

SDL '99, the next millennium : proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999 /
Published: (1999)

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

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

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings /
Published: (1992)

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

Fortran 95 language guide /
by: Gehrke, Wilhelm, 1940-
Published: (1996)

Languages and compilers for parallel computing : 9th international workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : proceedings /
Published: (1997)

Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Published: (2001)

Object orientation in Z /
Published: (1992)

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, the Netherlands, June 1-5, 1992 : proceedings /
Published: (1992)

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

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Published: (1995)

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

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

Database programming languages : 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers /
Published: (2004)

Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings /
Published: (1994)

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

Statistics Using Python.
by: Campesato, Oswald
Published: (2023)

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

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

Simple program schemes and formal languages /
by: Engelfriet, Joost
Published: (1974)

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