Z-Notation V1.1

Abstract

This is the first issue of a major revision of the Z Standard, replacing Version 1.0 interim versions numbered 1.0x, and is circulated for review by the Z Standards Panel. Virtually all sections of the Standard have been revised. When this version has been reviewed and updated, it will be given wider distribution and prepared for submission as an ISO Committee Draft.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 30, 1995
Accession Number
ADA393243

Entities

People

  • John Nicholls

Organizations

  • University of Oxford

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Birds
  • Computer Programming
  • Computer Science
  • Construction
  • Electronic Mail
  • Grammars
  • Language
  • Law
  • Mathematics
  • Natural Languages
  • Notation
  • Operating Systems
  • Set Theory
  • Standardization
  • Standards
  • Word Processors

Readers

  • Database Systems and Applications
  • Technical Research and Report Writing.