libcats.org
Главная

Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99

Обложка книги Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99

Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99

, ,
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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: