Sur les modèles des types abstraits algébriques
- FR UMR7117 CP-B-2-a-CP211
- Item
- 1980-05-13
Part of Fonds Claude Pair
Centre de recherche en informatique de Nancy, Sur les modèles des types abstraits algébriques, C. Pair,
80 P 052
Claude Pair
Sur les modèles des types abstraits algébriques
Part of Fonds Claude Pair
Centre de recherche en informatique de Nancy, Sur les modèles des types abstraits algébriques, C. Pair,
80 P 052
Claude Pair
Correctness proofs of syntax directed processing, Description by attributes
Part of 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
La construction des programmes (*)
Part of Fonds Claude Pair
Centre de recherche en informatique de Nancy,
La construction des programmes, C. Pair,
77 -P-019
Claude Pair
A systematic study of models of abstract data types
Part of Fonds Claude Pair
Centre de recherche en informatique de Nancy, A systematic study of models of abstract data types,
M. BROY, C. PAIR, M.WIRSING,
81-R-042
Claude Pair
La production assistée du logiciel introduction et perspectives
Part of Fonds Claude Pair
Centre de recherche en informatique de Nancy, La production assistée du logiciel introduction et perspectives,
80P07,
Claude Pair
Specifications et langages de specifications (*)
Part of 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
Mathématiques et sciences humaines
Part of Fonds Claude Pair
Mathématiques et sciences humaines
Tirage à part
34 / 1971
Centre de Mathématique sociale, École pratique des Hautes Études, VIe section.
Claude Pair
Types abstraits et semantique algebrique des langages de programmation
Part of Fonds Claude Pair
Centre de recherche en informatique de Nancy, Types abstraits et sémantique algébrique des langages de programmation, C. Pair,
80-R-011
Claude Pair
Some theorical aspects of program construction
Part of 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
Part of 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