Institut national de recherche en informatique et en automatique (France). Unité de recherche (Sophia Antipolis, Alpes-Maritimes)
VIAF ID: 265343608 ( Corporate )
Permalink: http://viaf.org/viaf/265343608
Preferred Forms
4xx's: Alternate Name Forms (2)
5xx's: Related Names (3)
- 510 2 _ ‡a École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes)
- 510 2 _ ‡a Institut national de recherche en informatique et en automatique (France)
- 510 2 _ ‡a Laboratoire Informatique, signaux et systèmes (Sophia Antipolis, Alpes-Maritimes)
Works
Title | Sources |
---|---|
EJC '2001 : Formalization, design and implementation of object oriented languages : notes de cours | |
EJC '2001 : Introduction à la méthode formelle B : notes de cours | |
EJC '2001 : Modèles et méta-modèles dans le cycle de développement de logiciel : notes de cours | |
EJC '2001 : Réflexivité : programmation par objets, programmation par aspects : notes de cours | |
Modelling human activity, W4 : workshop proceedings | |
Résolution pratique de problèmes NP-complets : actes | |
The Role of objects in design co-operation : communication through physical or virtual objects, W2 : workshop proceedings |