Notazione Z

Da Wikipedia, l'enciclopedia libera.
Voce da controllare
 Questa voce o sezione sull'argomento informatica è ritenuta da controllare.
Motivo: linguaggio o notazione?
Partecipa alla discussione e/o correggi la voce. Segui i suggerimenti del progetto di riferimento.

Il Linguaggio Z, chiamato così per la Teoria degli insiemi di Zermelo - Fraenkel è un linguaggio formale di specifica usato per la descrizione e modellazione di sistemi informatici.

L'ISO ha completato la standardizzazione di Z nel 2002.

Voci correlate[modifica]

Collegamenti esterni[modifica]

Estratto da "http://it.wikipedia.org/w/index.php?title=Notazione_Z&oldid=57460737"