<図書>

Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings / D.H. Pitt ... [et al.] (eds.)

(Lecture notes in computer science;389)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図 : Germany 39:L:1.389 2012246738

5082/保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1989
大きさ vi, 365 p. : ill. ; 25 cm
一般注記 Includes bibliographical references
著者標目 Pitt, David (David H.)
Conference on Category Theory and Computer Science (1989 : Manchester)
件 名 LCSH:Electronic digital computers -- Programming -- Congresses
LCSH:Categories (Mathematics) -- Congresses
分 類 LCC:QA76.6
DC20:005.1
本文言語 英語
書誌ID 2000243333
ISBN 354051662X
NCID BA07287677 WCLINK

類似資料

  1. 1 Mathematics of program construction : 375th anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings / J.L.A. van de Snepscheut (ed.)
  2. 2 ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings / B. Krieg-Brückner (ed.)
  3. 3 Proceedings of the Second Annual ACM-SIAM Symposium on Discrete Algorithms
  4. 4 Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms
  5. 5 Declarative programming, Sasbachwalden 1991 : Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991 / John Darlington and Roland Dietrich (eds.)
  6. 6 ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings / N. Jones (ed.)
  7. 7 Programming languages and systems, ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994 : proceedings / Donald Sannella, ed
  8. 8 Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings / Chris Hankin (ed.)
  9. 9 Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings / D.H. Pitt ... [et al.], (eds.)
  10. 10 An introduction to programming with specifications : a mathematical approach / Ryszard Kubiak, Roman Rudziński, Stefan Sokołowski

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