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

R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)

(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

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ