Verificación formal de software y ¿la programación es un arte? | E22
Érase una vez un algoritmo... - A podcast by Camilo Chacón Sartori
Categories:
¡Enviáme un mensaje! 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
