Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
著者
書誌事項
Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers
(Lecture notes in computer science, 1827)
Springer, c2000
大学図書館所蔵 全32件
注記
Includes bibliographical references and index