<図書>

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)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工6・計数 : gw 85:B:37 1010497012


理7・CS図 : gw 39:L:1.669 2012459331

6585/保存書庫

書誌詳細を非表示

出版者 Berlin ; New York : Springer-Verlag
出版年 c1993
大きさ viii, 378 p. : ill. ; 24 cm
一般注記 "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
著者標目 *International Conference on the Mathematics of Program Construction (2nd : 1992 : St. Catherine's College, Oxford)
Bird, R. S. (Richard Simpson), 1943-
Morgan, C. C. (Charles Carroll), 1952-
Woodcock, James
件 名 LCSH:Electronic digital computers -- Programming -- Congresses
LCSH:Computer science -- Mathematics -- Congresses
分 類 LCC:QA76.6
DC20:005.1/01/5113
NDC8:410.7
本文言語 英語
書誌ID 2000299087
ISBN 3540566252
NCID BA19829981 WCLINK

類似資料

  1. 1 Theory and formal methods 1993 : proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 / Geoffrey Burn, Simon Gay and Mark Ryan (eds.)
  2. 2 Reasoned programming / K. Broda ... [et al.]
  3. 3 Theory and formal methods of computing 94 : proceedings of the second Imperial College workshop / editors, C. Hankin, I. Mackie, R. Nagarajan
  4. 4 Advances in theory and formal methods of computing : proceedings of the third Imperial College workshop, Christ Church, Oxford, 1-3 April 1996 / editors, A. Edalat, S. Jourdan, G. McCusker
  5. 5 Logic for applications / Anil Nerode and Richard A. Shore
  6. 6 Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)
  7. 7 Partial evaluation and mixed computation : proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernæs, Denmark, 18-24 October, 1987 / edited by Dines Bjørner, Andrei P. Ershov, Neil D. Jones
  8. 8 Mathematics of program construction : Third International Conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings / Bernhard Möller, (ed.)
  9. 9 Mathematics of program construction : 4th International Conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / Johan Jeuring (ed.)
  10. 10 Algebra of programming / Richard Bird and Oege de Moor

検索結果一覧に戻る ページトップ