Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
著者
書誌事項
Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
(Lecture notes in computer science, 669)
Springer-Verlag, c1993
- : gw
- : us
大学図書館所蔵 件 / 全61件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"The papers in this volume were presented at the Second International Conference on the Mathematics of Program Construction, held at St. Catherine's College, Oxford, during the week of 29 June-3 July, 1992."--Pref