14 min de escucha
Verificación formal de software y ¿la programación es un arte? | E22
Verificación formal de software y ¿la programación es un arte? | E22
valoraciones:
Longitud:
30 minutos
Publicado:
17 may 2020
Formato:
Episodio de podcast
Descripción
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.
Publicado:
17 may 2020
Formato:
Episodio de podcast
Títulos en esta serie (40)
¿Qué consejos le podrías dar a un estudiante de informática? | E1 de Había una vez un algoritmo...