Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; a...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	International Conference on Algebraic Methodology and Software Technology :Munich, Allemagne
Altres autors:	Wirsing, Martin, 1948- (Director editorial), Nivat, Maurice, 1937-2017, informaticien (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 1101
Matèries:	Génie logiciel Informatique Intelligence artificielle Types abstraits de données (informatique) Logique symbolique et mathématique Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, proceedings, Martin Wirsing, Maurice Nivat, eds, 1996, New York, Springer, 1 vol. (XIII-640 p.), Lecture notes in computer science, 3-540-61463-X • Algebraic Methodology and Software Technology, Texte imprimé, 9783662202234