ZARZA Somos ZARZA, la firma de prestigio que esta detras de los grandes proyectos en tecnología de la información.
Escuchar "Verificación formal de software y ¿la programación es un arte? | E22"
Síntesis del Episodio
¡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