Idioma:

Reasoning about programs

Edsger W. Dijkstra Sun Microsytems

Localização: IME - Inst. Matemática e Estatística (QA754.VC D575r )(Acessar)

Título:
Reasoning about programs
Autor: Edsger W. Dijkstra
Sun Microsytems
Assuntos: SOFTWARES; ALGORITMOS; METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO; TÉCNICAS DE PROGRAMAÇÃO
Notas: "Patrocinado pela Sun Microsystems, Inc., Gravado em 28 de maio de 1990"--Contêiner;VHS
Descrição: Palestra ilustrando dois problemas críticos na prova de correção do programa: invariância e término
Esta fita de vídeo apresenta uma palestra de Edsger W. Dijkstra, da University of Texas Austin, ministrada em maio de 1990. Esta palestra aborda dois problemas de programação ligados a jogos, bem como as respectivas soluções
Títulos relacionados: Série:Academic leaders in computer science and electrical engineering Distinguished lecture series (Stanford, Calif.) 3
Editor: Stanford, CA University Video Communications
Data de criação/publicação: c1990
Formato: 1 videocassete (55:22 min.) son., col. 1/2 in VHS.
Idioma: Inglês

Links

Voltar para lista de resultados