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

Érase una vez un algoritmo... - En podkast av Camilo Chacón Sartori

Prøv Podimo gratis i hele 30 dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

Reklame

¡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

Visit the podcast's native language site