13 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:
31 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 (100)
¿Qué significa ser desarrollador frontend, backend o fullstack? | E6 de Érase una vez un algoritmo...