Érase una vez un algoritmo...

Verificación formal de software y ¿la programación es un arte? | E22

May 17, 2020 Camilo Chacón Sartori Season 1 Episode 22
Érase una vez un algoritmo...
Verificación formal de software y ¿la programación es un arte? | E22
Show Notes

Hoy trataremos el tema de la verificación formal de software desde la visión de Tony Hoare. Y posteriormente hablaremos del concepto de "arte" dentro de la programación según Donald Knuth.

Support the show