Meseguer J. (ed.), Rosu G. (ed.) — Algebraic methodology and software technology. Lecture notes in computer science 5140
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Algebraic methodology and software technology. Lecture notes in computer science 5140
Авторы: Meseguer J. (ed.), Rosu G. (ed.)
Аннотация:
This volume contains the proceedings of AMAST 2008, the 12th International
Conference on Algebraic Methodology and Software Technology, held during
July 28–31, 2008, in Urbana, Illinois, USA.
|
|
О проекте