Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99
Didier Bert, Christine Choppy, Peter Mosses
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.