Copy of letter of C. A. R. Hoare to the members of WG 2.1 group with his paper "The axiomatic method, program execution"
Nível de descrição
Documento simples
Código de referência
PT/UM-ADB/ASS/IFIP/TC2-WG2.1/002/001164
Tipo de título
Atribuído
Título
Copy of letter of C. A. R. Hoare to the members of WG 2.1 group with his paper "The axiomatic method, program execution"
Datas de produção
1968-12-04
a
1968-12-04
Dimensão e suporte
14 fls.
Localidade
[S/L]
Âmbito e conteúdo
C. A. R. Hoare sends a letter to the members of WG 2.1 group with his paper "The axiomatic method, program execution", for comments.C. A. R. Hoare envia carta aos membros do grupo WG 2.1 com seu artigo "O método axiomático, execução do programa", para comentários.
Cota atual
I-24-B-1-8-1061
Idioma e escrita
ENG (English)
Características físicas e requisitos técnicos
razoável