Winzipedia: wiki di vincenzomanzoni.com | Informatica3 / SemanticaAssiomatica

Informatica3.SemanticaAssiomatica Versioni

Nascondi le modifiche minori - Mostra le modifiche

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

Modificate le linee 2-4: da:

'''Autori:''' [[Profiles.AndreaCalvo | Andrea Calvo]], [[Profiles.AlessandroModica | Alessandro Modica]]\\
'''Hanno contribuito:'''

'''Autori:''' [[Profiles.AndreaCalvo | Andrea Calvo]], [[Profiles.AlessandroModica | Alessandro Modica]]

Ripristina

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

Aggiunte le linee 1-8:

!Semantica assiomatica
'''Autori:''' [[Profiles.AndreaCalvo | Andrea Calvo]], [[Profiles.AlessandroModica | 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.-]

[[(Attach:)SematicaAssiomatica.pdf]]

Ripristina