JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for ZFORUM Home Page


ZFORUM Home Page

ZFORUM Home Page


ZFORUM@JISCMAIL.AC.UK

LISTSERV Archives

LISTSERV Archives

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Help & Support

Archive privacy settings

  • Email messages may be archived on this page. This list is configured with archives.

ZFORUM

Discussion and announcements relating to the Z notation

Hide Latest Messages

Z (pronounced `zed') is a formal specification notation based on set theory and first order predicate logic. It has been developed initially since the late 1970s at the Programming Research Group within the Oxford University Computing Laboratory (OUCL) and #latterly around the world. It is used by industry as part of the software (and hardware) development process in Europe, USA and elsewhere. It has undergone international ISO #standardization in 2002.


JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Loading


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager