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...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
1101 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
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 |
