Mathematics of program construction : 9th international conference, MPC 2008 : Marseille, France, July 15-18, 2008 : proceedings. : Jul 2008, Marseille, France.
(Lecture Notes in Computer Science ; 5133)
国立国会図書館請求記号
M17-08-1883
国立国会図書館書誌ID
000009466987
資料種別
図書
著者
Centre International de Recherches en Mathematiques Luminy.ほか