Available services

Partilhar

Sain-Pierre meeting dossier

Description level
File File
Reference code
PT/UM-ADB/ASS/IFIP/TC2-WG2.1/007/00235
Title type
Atribuído
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
I-24-B-2-0235
Language of the material
ENG (English)
Physical characteristics and technical requirements
razoável
Notes
Proveniência: Charles H. Lindsey.
 
Lang=pt   Lang=