Available services


Sain-Pierre meeting dossier

Description level
File File
Reference code
Title type
Date range
1976-08-28 Date is uncertain to 1976-08-28 Date is uncertain
Dimension and support
1 dossier
Geographic name
Saint-Pierre (França)
Scope and content
Sain-Pierre meeting related documents: Data structure specification in the SETL language by Robert B. K. Dewar and Jack T. Jack T. Schwartz; Na example of hierarchical design and proof by Jay M. Spitzen, Karl N. Levitt and Lawrence Robinson; The role of specifications in programming.

Reunião de Sain-Pierre - documentos relacionados: Especificação da estrutura de dados na linguagem SETL, por Robert B. K. Dewar e Jack T. Jack T. Schwartz; Um exemplo de projeto hierárquico e prova de Jay M. Spitzen, Karl N. Levitt e Lawrence Robinson; O papel das especificações na programação.
Physical location
Language of the material
ENG (English)
Physical characteristics and technical requirements
Proveniência: Charles H. Lindsey.
Lang=pt   Lang=