Titre : | ECOLE D ETE MODELISATION ET VERIFICATION DES PROCESSUS PARALLELES |
Titre de série : | ECOLE D ETE MODELISATION ET VERIFICATION DES PROCESSUS PARALLELES |
Auteurs : | MOVEP 98 |
Type de document : | congrès |
Catégories : | |
Ville de la conférence ou de la thèse : | NANTES |
Date de la conférence : | 6-9 JUL 1998 |
Sponsor : | ECOLE CENTRALE DE NANTES |
Exemplaires (2)
Code-barres | Cote | Support | Localisation | Section | Disponibilité | Détenteur | Equipe du détenteur |
---|---|---|---|---|---|---|---|
098835 | GRADIT P | PAPIER | Equipe ou service | OLC | Contacter le détenteur Exclu du prêt | GRADIT P | OLC |
098840 | Non coté | PAPIER | Equipe ou service | SARA | Contacter le détenteur Exclu du prêt | ABDELLATIF S | SARA |