|
Categorie
Winzipedia Uso dell'wiki |
SemanticaAssiomaticaInformatica3.SemanticaAssiomatica VersioniMostra le modifiche minori - Mostra le modifiche da evidenziare 13/06/2006 ore 20:50 CEST
di - Creazione della pagina
Aggiunte le linee 1-8:
Semantica assiomaticaAutori: 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.
|