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 60! dager!

Prøv Podimo gratis i hele 60! 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