From Winzipedia: wiki di vincenzomanzoni.com
Informatica3: VerificaProgrammi
Verifica formale di programmi (semantica assiomatica)
Autore:
Alberto Consonni
Sommario
Appunti sulla verifica formale di programmi.
VerificaProgrammi.pdf
Tratto da http://www.vincenzomanzoni.com/wiki/Informatica3/VerificaProgrammi
Ultima modifica il 02/08/2006 ore 23:20 CEST