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

from Érase una vez un algoritmo... · host Camilo Chacón Sartori

¡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

What this episode covers

¡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

NOW PLAYING

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

0:00 29:42

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

Et Merdre ! Martin Poirot Et Merdre ! Votre émission vivante consacrée aux spectacles du même genre !Découverte des coulisses de toute les formes de créations artistiques du spectacle vivant : mise en scène, scénographie, jeu, écriture, expositions... Dans chaque émission retrouvez un artiste, un spectacle, un lieu, ou un festival. Aussi disponible en vidéo sur YouTubeUne émission animée par Martin PoirotRéalisée par Zachary GuerenneurIllustrée par Carole MarietHébergé par Ausha. Visitez ausha.co/fr/politique-de-confidentialite pour plus d'informations. Zero Așteptări Paul Puscas Podcastul nostru, este un refugiu de pace și introspecție în tumultul cotidian și în mijlocul așteptărilor adesea nerealiste ale societății. Ne-am dedicat acest spațiu digital pentru a oferi o platformă celor care doresc să exploreze diverse perspective și să participe la discuții deschise, autentice, fără prejudecăți sau anticipații predeterminate. Fiecare episod pe care îl lansăm este o invitație la reflecție și explorare personală, acoperind o gamă largă de subiecte, de la dezvoltare personală și spiritualitate, la cultură, artă și știință, prezentate întotdeauna într-o manieră acc Temps de Dol Temps de Dol Soy 1 de 4. Lo he sido dos veces. Aquí te traigo mi tiempo de duelo para que, si también estás transitando un proceso de duelo gestacional sepas que no estás sola. Hablemos. Escuchemos. Visibilicemos. Y, sobretodo, acompañemos. Podcast de Leyendo Ciencia Ficción Leyendo Ciencia Ficción Un podcast sobre literatura de ciencia ficción de cualquier época.

Frequently Asked Questions

How long is this episode of Érase una vez un algoritmo...?

This episode is 29 minutes long.

When was this Érase una vez un algoritmo... episode published?

This episode was published on May 17, 2020.

What is this episode about?

Can I download this Érase una vez un algoritmo... episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

URL copied to clipboard!