SemanticaAssiomatica

Semantica assiomatica

Autori: Andrea Calvo ?, Alessandro Modica ?

Sommario

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

SematicaAssiomatica.pdf

Modifica - Versioni - Stampa - Modifiche recenti - Cerca

Ultima modifica il 02/08/2006 ore 23:17 CEST