Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.).
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A8715
国立国会図書館書誌ID
000003215454
資料種別
図書
著者
Conference on Mathematics of Program Construction (2nd : 1992 : Oxford, U.K.)ほか