Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings

Web Site CiNii 所蔵館 61館

書誌事項

タイトル
"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.)
出版者
  • Springer-Verlag
出版年月
  • c1993
書籍サイズ
24 cm
シリーズ名/番号
  • : gw
  • : us

この図書・雑誌をさがす

注記

"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

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

ページトップへ