Affichage de 275 résultats

Description archivistique
Fonds Claude Pair
Aperçu avant impression Hierarchy Affichage :
Croissant
Sur les modèles des types abstraits algébriques
Sur les modèles des types abstraits algébriques
Correctness proofs of syntax directed processing, Description by attributes
Correctness proofs of syntax directed processing, Description by attributes
La construction des programmes (*)
La construction des programmes (*)
A systematic study of models of abstract data types
A systematic study of models of abstract data types
La production assistée du logiciel introduction et perspectives
La production assistée du logiciel introduction et perspectives
Specifications et langages de specifications (*)
Specifications et langages de specifications (*)
Mathématiques et sciences humaines
Mathématiques et sciences humaines
Types abstraits et semantique algebrique des langages de programmation
Types abstraits et semantique algebrique des langages de programmation
Some theorical aspects of program construction
Some theorical aspects of program construction
Medée : a type of language for the deductive programming method
Medée : a type of language for the deductive programming method
Résultats 81 à 90 sur 275