Correspondance entre E.W. Dijkstra et C. Pair
Fait partie de Fonds Claude Pair
Sur une entête : "Burroughs"
Correspondance manuscrite, en anglais, de Edsger W. Dijkstra à C. Pair dans laquelle il le remercie pour l'envoie d'une annexe et l'aide apportée à ses recherches.
Claude Pair
Correspondance entre Madame Monpetit et C. Pair
Fait partie de Fonds Claude Pair
Lettre manuscrite de Madame Montpetit à l'intention de C. Pair afin de le féliciter pour l'obtention de son prix Michel Montpetit
Claude Pair
Informatique 78 AFCET et prise de note
Fait partie de Fonds Claude Pair
Informatique 78 AFCET
Programme
Claude Pair
Some theorical aspects of program construction
Fait partie de Fonds Claude Pair
Centre de recherche en informatique de Nancy,
Some theorical aspects of program construction, C. Pair,
78 -P-004
Claude Pair
Medée : a type of language for the deductive programming method
Fait partie de Fonds Claude Pair
Centre de recherche en informatique de Nancy,
Medée : a type of language for the deductive programming method, C. Pair,
Claude Pair
Fait partie de Fonds Claude Pair
Carte de vœux envoyée par A. Slernfeld à C. Pair à l'occasion de la nouvelle année
Claude Pair
La programmation : de l'énoncé au programme
Fait partie de Fonds Claude Pair
Centre de recherche en informatique de Nancy,
La programmation : de l'énoncé au programme, C. Pair,
78 -P-061
Claude Pair
Correspondance entre F.L. Bauer et C. Pair
Fait partie de Fonds Claude Pair
Sur une entête : "Institut für informatik, Der technischen universität münchen"
Correspondance de F.L. Bauer à C. Pair à propos de l'organisation d'une réunion informelle autour de la théorie et de la méthodologie de la programmation
Claude Pair
Specifications et langages de specifications (*)
Fait partie de Fonds Claude Pair
Centre de recherche en informatique de Nancy, La production assistée du logiciel introduction et perspectives, C. Pair,
79-P-056
Claude Pair
Correctness proofs of syntax directed processing, Description by attributes
Fait partie de Fonds Claude Pair
reprinted forum Journal of Computer and System Sciences
Vol. 19, No. 1, August 1979
Correctness proofs of syntax directed processing, Description by attributes
Claude Pair