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

Érase una vez un algoritmo... - Un pódcast de Camilo Chacón Sartori

Escucha 30 días GRATIS

miles de podcasts y audiolibros originales y exclusivos, haz clic aquí

¡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