Tugurium/GTI

Glosario Terminología Informática

program correctness proof

0 prueba de corrección del programa
Demostración matemática formal de la semántica de un programa.
1997-03-27