|
Categorie
Winzipedia Uso dell'wiki |
VerificaProgrammiInformatica3.VerificaProgrammi VersioniNascondi le modifiche minori - Mostra le modifiche da evidenziare 13/06/2006 ore 23:58 CEST
di - Sostituzione del contenuto con un allegato pdf
Modificate le linee 8-114: da:
a:
13/06/2006 ore 17:24 CEST
di - Ortografia
Modificata la linea 1: da:
Verifica formale di programmi (semantica assiomatica)ASSIOMATICA)a:
Verifica formale di programmi (semantica assiomatica)13/06/2006 ore 17:23 CEST
di - Parziale riformattazione
Modificate le linee 1-2: da:
Titolo dell'articolo VERIFICA FORMALE DI PROGRAMMI (SEMANTICA ASSIOMATICA)Autori:\\ a:
Verifica formale di programmi (semantica assiomatica)ASSIOMATICA)Autori: Alberto Consonni\\ Modificate le linee 6-12: da:
Contenuto del sommario.
SezioneContenuto della sezione.
a:
Modificate le linee 12-13: da:
Assegnamento: y:=t //diverso dall'uguale di confronto... a:
Assegnamento: y:=t // diverso dall'uguale di confronto... Modificate le linee 114-117: da:
8){TRUE} if.... {m>=0} regola if 4,7 SottosezioneContenuto della sottosezione a:
8){TRUE} if.... {m>=0} regola if 4,7 Modificate le linee 11-12: da:
Attach:file.ext--> Δ dimostrare che i programmi sono corretti! Nel senso matematico, diverso dal testing a:
Modificata la linea 118: da:
a:
Contenuto della sottosezione Aggiunte le linee 1-118:
|