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

Didier Bert, Christine Choppy, Peter Mosses (eds.)

(Lecture notes in computer science, 1827)

Springer, c2000

この図書・雑誌をさがす
注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ