Informatica3.SemanticaAssiomatica Versioni

Nascondi le modifiche minori - Mostra le modifiche da evidenziare

02/08/2006 ore 23:17 CEST di Vincenzo -

Modificate le linee 2-4: da:

Autori: Andrea Calvo ?, Alessandro Modica ?
Hanno contribuito:

Autori: Andrea Calvo ?, Alessandro Modica ?

Ripristina

13/06/2006 ore 20:50 CEST di Vincenzo - Creazione della pagina

Aggiunte le linee 1-8:

Semantica assiomatica

Autori: Andrea Calvo ?, Alessandro Modica ?
Hanno contribuito:

Sommario

Riassunto completo della parte di programma del corso di Informatica 3 relativa alla verifica formale degli algoritmi, detta anche semantica assiomatica.

SematicaAssiomatica.pdf

Ripristina