Mathematics of program construction : 11th international conference, MPC 2012 : Madrid, Spain, June 25-27, 2012 : proceedings : Jun 2012, Madrid, Spain. (Lecture Notes in Computer Science ; 7342)
資料に関する注記
一般注記:
形態の詳細:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。