Category:Z notation

From Wikipedia, the free encyclopedia

You have new messages (last change).

The main article for this category is Z notation.

Pages in category "Z notation"

There are 8 pages in this section of this category.

A

Jean-Raymond Abrial

C

CICS

C cont.

Community Z Tools

M

Mondex

O

Object-Z

Z

Retrieved from "http://en.wikipedia.org../../../z/_/n/Category%7EZ_notation_9b89.html"

Categories: Formal methods | Formal specification languages | Logic in computer science

Views

Search