Había 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
Había una vez un algoritmo...
Verificación formal de software y ¿la programación es un arte? | E22
Chapters
Había una vez un algoritmo...
Verificación formal de software y ¿la programación es un arte? | E22
May 17, 2020 Season 1 Episode 22
Camilo Chacón Sartori

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.

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.