Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9 13, 2002, in Saint-Gilles-les-Bains, R eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to...

وصف كامل

التفاصيل البيبلوغرافية

مؤلف مشترك:	International Conference on Algebraic Methodology and Software Technology :Saint-Gilles-les-Bains
مؤلفون آخرون:	Ringeissen, Christophe, 1967- (مدير النشر), Kirchner, Hélène, 1952-...., informaticienne (مدير النشر)
التنسيق:	Livre numérique
اللغة:	Anglais
منشور في:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
سلاسل:	Lecture notes in computer science 2422
الموضوعات:	Génie logiciel Informatique Ordinateurs Intelligence artificielle Types abstraits de données (informatique) Logique symbolique et mathématique Actes de congrès
الوصول للمادة أونلاين:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
ملاحظة:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Algebraic methodology and software technology, 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, proceedings, Hélène Kirchner, Christophe Ringeissen (eds.), Berlin, Springer, 2002, 1 vol. (XI-501 p.), Lecture notes in computer science, 3-540-44144-1 • Algebraic Methodology and Software Technology, Texte imprimé, 9783662210017