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
    - 009 Scientific Communications Comunicações científicas 1962-08/1998-01

Copy of the paper "The Axiomatic Method: Data Manipulation"

Ações disponíveis

Ações disponíveis ao leitor

Representação digital

Copy of the paper "The Axiomatic Method: Data Manipulation"

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 the paper "The Axiomatic Method: Data Manipulation"

Detalhes do registo

Nível de descrição

Documento simples

Código de referência

PT/UM-ADB/ASS/IFIP/TC2-WG2.1/009/000143

Tipo de título

Atribuído

Título

Copy of the paper "The Axiomatic Method: Data Manipulation"

Datas descritivas

[S/D]

Dimensão e suporte

8 fls.

Localidade

[S/L]

Âmbito e conteúdo

Copy of the paper "The Axiomatic Method: Data Manipulation" by C. A. R. Hoare. This paper illustrates the manner in which the axiomatic method may be applied to the rigorous definition of programming languages.Cópia do artigo "The Axiomatic Method: Data Manipulation", de C. A. R. Hoare. Este artigo ilustra a maneira pela qual o método axiomático pode ser aplicado à definição rigorosa de linguagens de programação.