Espagnol | Anglais | |
---|---|---|
Engineering | ||
Engineering | prueba de corrección | correctness proof |
Geography | ||
Geography | prueba de corrección | proof-of-correctness |
Espagnol | Anglais | |
---|---|---|
Engineering | ||
Engineering | prueba de corrección del programa | programme correctness proof |
Engineering | prueba de corrección parcial | proof of partial correctness |
Engineering | prueba de corrección total | proof of total correctness |