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.)
- 出版者
-
- 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
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1130000794386239872
-
- NII書誌ID
- BA19829981
-
- ISBN
- 3540566252
- 0387566252
-
- LCCN
- 93016952
-
- Web Site
- https://lccn.loc.gov/93016952
-
- 本文言語コード
- en
-
- 出版国コード
- gw
-
- タイトル言語コード
- en
-
- 出版地
-
- Berlin ; New York
-
- 分類
-
- LCC: QA76.6
- DC20: 005.1/01/5113
- NDC8: 410.7
-
- データソース種別
-
- CiNii Books