Plano de classificação

ASS/IFIP International Federation for Information Processing Federação Internacional para o Processamento de Informação 1959/1998
- TC2 Technical Committee 2 Comité Técnico 2 1959/1998
  - WG2.1 Working Group 2.1, Algoritmi Languages and Calculi Grupo de Trabalho 2.1 1959/1998
    - 002 Correspondence Correspondência 1959-03-31/1996-12-31

Copy of letter of C. A. R. Hoare to the members of WG 2.1 group with his paper "The axiomatic method, program execution"

Ações disponíveis

Ações disponíveis ao leitor

Representação digital

Copy of letter of C. A. R. Hoare to the members of WG 2.1 group with his paper "The axiomatic method, program execution"

Serviços disponíveis

Exportar registo

Pesquisar no âmbito deste fundo

Adicionar à minha lista

Pedido de reprodução/pesquisa/certidão

Pedido de consulta de documentos

Pedido de reserva de documentos

Pedir informações

Consultar no telemóvel

Partilhar

Copy of letter of C. A. R. Hoare to the members of WG 2.1 group with his paper "The axiomatic method, program execution"

Detalhes do registo

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.