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

International Conference on the Mathematics of Program Construction, Bird, R. S. (Richard Simpson), Morgan, C. C. (Charles Carroll), Woodcock, James

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

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

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

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

書き出し

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