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"

Consultar no telemóvel

Código QR do registo

Partilhar

 

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

Detalhes do registo

Nível de descrição

Documento simples   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.

Cota atual

I-24-B-1-3-0087

Idioma e escrita

ENG (English)

Características físicas e requisitos técnicos

razoável