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)

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)

国立国会図書館請求記号: M15-A8715
国立国会図書館書誌ID: 000003215454

資料種別: 図書

著者: Conference on Mathematics of Program Construction (2nd : 1992 : Oxford, U.K.)ほか

出版者: Springer-Verlag

出版年: c1993.

資料形態: 紙

ページ数・大きさ等: viii, 378 p. : ill. ; 24 cm.

NDC: -

すべて見る

資料に関する注記

一般注記：: "Organised by Oxford University Programming Research Group"--Pref.

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 3540566252
0387566252 (New York)
タイトル: 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
著者標目: Conference on Mathematics of Program Construction (2nd : 1992 : Oxford, U.K.)
Bird, R. S. (Richard Simpson) , 1943-
Morgan, C. C. (Charles Carroll) , 1952-
Woodcock, Jim.
Oxford University Computing Laboratory. Programming Research Group.
出版事項: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
出版年月日等: c1993.
出版年（W3CDTF）: 1993
数量: viii, 378 p. : ill. ; 24 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Electronic digital computers -- Programming -- Congresses.
Computer science -- Mathematics -- Congresses.
LCC: QA76.6
DDC: 005.1/01/5113
NDLC: M15
M159
一般注記: "Organised by Oxford University Programming Research Group"--Pref.
書誌注記: Includes bibliographies.
所蔵機関: 国立国会図書館
請求記号: M15-A8715
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000003215454
http://id.ndl.go.jp/bib/000003215454
LC control number: 93016952
https://lccn.loc.gov/93016952
整理区分コード: 211