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

Érase una vez un algoritmo... - Podcast tekijän mukaan Camilo Chacón Sartori

kokeile Podimo ilmaiseksi 90!!! päivän ajan

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

 Sponsored
Podcast artwork

¡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