Recent trends in algebraic development techniques : 21st international workshop, WADT 2012 : Salamanca, Spain, June 7-10, 2012 : revised selected papers : Jun 2012, Salamanca, Spain. (Lecture Notes in Computer Science ; 7841)
資料に関する注記
一般注記:
形態の詳細:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。