Z (Computer program language)

Z :an introduction to formal methods / by: (書目-語言資料,印刷品)

ZB 2005: Formal Specification and Development in Z and B4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by: (書目-電子資源)

ZB 2003formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings / by: (書目-電子資源)

ZUM '97, the Z formal specification notation10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings / by: (書目-電子資源)

ZUM '98, the Z formal specification notation11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : pro[o]ceedings / by: (書目-電子資源)

ZB 2000formal specification and development in Z and B: first International Conference of B and Z Users, York, UK, August 29 - September 2, 2000 : proceedings / by: (書目-電子資源)

ZB 2002formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings / by: (書目-電子資源)

Refinement in Z and Object-Zfoundations and advanced applications / by: (書目-電子資源)

ABZ 2014the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014 : proceedings / by: (書目-電子資源)

Mathematical Logic and Formal Languages.

Software Engineering.

Z (Computer program language)

Logics and Meanings of Programs.

Machine theory

Computation by Abstract Devices.

Formal methods (Computer science)

B method (Computer science)

Landing gear

B (Computer program language)

Computer Science.

Simulation and Modeling.

Object-oriented programming (Computer science)