Overview

Z


Related Overviews

 

'Z' can also refer to...

 

More Like This

Show all results sharing this subject:

  • Computing

GO

Show Summary Details

Quick Reference

A formal notation, based on set algebra and predicate calculus, for the specification of computing systems. It was developed at the Programming Research Group, Oxford University. Z specifications have a modular structure. See also constructive specification.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.