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

Identification

Description level

Reference code

PT/UM-ADB/ASS/IFIP/TC2-WG2.1/002/001164

Title

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

Holding entity

Arquivo Distrital de Braga

Initial date

1968-12-04

Final date

1968-12-04

Dimension and support / Extents

14 fls.

Content and structure

Scope and content

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.

Access and use

Language of the material

eng

Comments

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

My list

Warning!