<図書>

Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) / edited by Hartmut Ehrig ... [et al.]

(Lecture notes in computer science;250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1987
大きさ xiv, 336 p. : ill. ; 25 cm
一般注記 "TAPSOFT '87 is the Second International Joint Conference on Theory and Practice of Software Development ... consists of three parts: Advansed Seminar on Foundations of Innovative Software Development, Colloquium on Trees in Algebra and Programming, [and] Colloquium on Functional and Logic Programming and Specifications"--Pref.
Includes bibliographies and index
著者標目 Ehrig, Hartmut
Advanced Seminar on Foundations of Innovative Software Development (1987 : Pisa)
Colloquium on Functional and Logic Programming and Specifications (1987 : Pisa)
*International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
件 名 LCSH:Logic programming -- Congresses
LCSH:Functional programming languages -- Congresses
NDLSH:グラフ理論
分 類 LCC:QA76
DC19:005.1
NDC8:410.9
本文言語 英語
書誌ID 2000028826
ISBN 354017611X
NCID BA00444201 WCLINK

類似資料

  1. 1 Advanced functional programming : First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text / Johan Jeuring, Erik Meijer (eds.)
  2. 2 Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
  3. 3 Foundations of logic programming / J.W. Lloyd
  4. 4 Foundations of logic programming / J.W. Lloyd
  5. 5 FPCA '89 : the fourth International Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, September 11-13, 1989 / sponsored by the Association for Computing Machinery's Special Interest Group on Programming Languages (SIGPLAN), Special Interest Group on Computer Architecture (SIGARCH) and the International Federation for Information Processing
  6. 6 Conference record of FPCA '95 : SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, La Jolla, California, 25-28 June, 1995 / sponsored by The ACM Special Interest Group on Programming Languages (SIGPLAN), ACM Special Interest Group on Computer Architecture (SIGARCH), IFIP Working Group 2.8 on Functional Programming
  7. 7 FPCA '93 : Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, 9-11 June, 1993 / sponsored by ACM SIGPLAN/SIGGRAPH ; in cooperation with the MIT Laboratory for Computer Science, DIKU, and IFIP Working Group 2.8
  8. 8 Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 / edited by Jean-Pierre Jouannaud
  9. 9 Introduction to functional programming / Richard Bird, Philip Wadler
  10. 10 Programming, the impossible challenge / Bob Walraet

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