Affichage de 275 résultats

Description archivistique
Fonds Claude Pair
Aperçu avant impression Hierarchy Affichage :
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 (*)
Correctness proofs of syntax directed processing, Description by attributes
Correctness proofs of syntax directed processing, Description by attributes
Publications de C. pairs
Publications de C. pairs
Les prototypes de l'atelier national logiciel
Les prototypes de l'atelier national logiciel
International Colloquium on formalization of programming concepts
International Colloquium on formalization of programming concepts
Abstract data types and algebraic semantics of programming languages
Abstract data types and algebraic semantics of programming languages
Application of abstract data types to the definition of the semantics of programming languages
Application of abstract data types to the definition of the semantics of programming languages
A systematic study of models of abstract data types
A systematic study of models of abstract data types
Les calculatrices et l'Enseignement des Mathématiques
Les calculatrices et l'Enseignement des Mathématiques
Résultats 231 à 240 sur 275