Modifiche recenti - Cerca:

Categorie

Pagine utente

Winzipedia

Uso dell'wiki

modifica il menu

Informatica3 /

VerificaProgrammi

Verifica formale di programmi (semantica assiomatica)

Autore: Alberto Consonni

Sommario
Appunti sulla verifica formale di programmi.

VerificaProgrammi.pdf

Modifica - Versioni - Stampa - Modifiche recenti - Cerca
Ultima modifica il 02/08/2006 ore 23:20 CEST