Bert D., Choppy C., Mosses P. — Recent Trends in Algebraic Development Techniques
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Recent Trends in Algebraic Development Techniques
Авторы: Bert D., Choppy C., Mosses P.
Аннотация:
Proceedings of the 14th International Workshop, WADT'99, held at Chateau de Bonas, France, September 15-18, 1999. The main topics of the workshop included algebraic specification, other approaches to formal specification, specification language and methods, and term rewriting and proof systems. Softcover.
|
|
О проекте