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 /

Z User Workshop, Oxford, 1990 : proceedings of the Fifth Annual Z User Meeting, 17-18 December 1990, Oxford /
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)

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)

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

Object orientation in Z /
Published: (1992)

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

The B language and method : a guide to practical formal development /
by: Lano, K.
Published: (1996)

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

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

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

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

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

Object orientation in Z /
Published: (1992)

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

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

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

Formal specification of advanced ai architectures /
by: Craig, I.
Published: (1991)

Z-80 assembler for CP/M /
by: King, Gordon, 1925-
Published: (1984)

Using the Z-80 in the TRS-80 /
by: Poe, Elmer
Published: (1982)

Pascal User Manual and Report.
by: Jensen, K., et al.
Published: (2007)

Structure and interpretation of computer programs /
by: Abelson, Harold, et al.
Published: (2022)

Programming 101 : learn to code with the Processing language using a visual approach /
by: Meyer, Jeanine
Published: (2022)

Assimilate SQL.
Published: (2022)

Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedings /
Published: (1998)

Programming languages and systems : 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings /
Published: (1999)

Essentials of compilation : an incremental approach in Python /
by: Siek, Jeremy
Published: (2023)

Programmer passport : Elixir /
by: Tate, Bruce, 1965-
Published: (2022)

Rust : Konzepte und Praxis für die sichere Anwendungsentwicklung /
by: Amann, Marco, et al.
Published: (2022)

Java schnelleinstieg : Programmieren lernen in 14 Tagen, einfach und ohne Vorkenntnisse /
by: Braun, Daniel
Published: (2022)

C# 10 : kurz & gut /
by: Albahari, Joseph, et al.
Published: (2022)

ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings /
Published: (1995)

Java on smart cards : programming and security : first international workshop, JavaCard 2000, Cannes, France, September 14, 2000 : revised papers /
Published: (2001)

C programming : learn to code /
by: Jena, Sisir Kumar
Published: (2022)

Python basics : a self-teaching introduction /
by: Bhasin, Harsh
Published: (2019)

Zaawansowany Python : jasne, zwięzłe i efektywne programowanie /
by: Ramalho, Luciano
Published: (2015)

Programming languages and systems : first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings /
Published: (2003)