跳至 : 概要 | 書目資訊 | 主題

WADT 2002 ((2002 :)

概要
作品: 1 作品在 0 項出版品 0 種語言
書目資訊
Recent trends in algebraic development techniques = 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers / by: Hennicker, Rolf, (1952-); Pattinson, Dirk, (1970-); Wirsing, M.; SpringerLink (Online service); WADT 2002 ((2002 :) (書目-語言資料,印刷品)
 
 
變更密碼
登入