Episode Details
Back to EpisodesVerificación formal de software y ¿la programación es un arte? | E22
Season 1
Episode 22
Published 5 years, 11 months ago
Description
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.