<a target="_blank" href="https://www.buzzsprout.com/twilio/text_messages/758831/open_sms">¡Enviáme un mensaje!</a>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.<a rel="payment" href="https://www.buymeacoffee.com/camilocs">Support the show</a>

¡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

<a href="https://www.buzzsprout.com/twilio/text_messages/758831/open_sms" rel="noopener noreferrer">¡Enviáme un mensaje!</a>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.<a href="https://www.buymeacoffee.com/camilocs" rel="noopener noreferrer">Support the show</a>

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

Mi bitácora de reflexiones concernientes a la informática desde una visión técnica, científica y filosófica.&nbsp;

Society & Culture

Science

Technology

Philosophy

Mi bitácora de reflexiones concernientes a la informática desde una visión técnica, científica y filosófica. 

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

Sign up to save your podcasts

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

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

More shows like Érase una vez un algoritmo...

DevTalles