Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)

著者

• Ehrig, Hartmut
• Advanced Seminar on Foundations of Innovative Software Development
• Colloquium on Functional and Logic Programming and Specifications
• International Joint Conference on Theory and Practice of Software Development

書誌事項

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）

Springer-Verlag, c1987

• : gw
• : us

注記

"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

詳細情報

• NII書誌ID(NCID): BA00444201
• ISBN:
  • 354017611X
  • 038717611X
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: xiv, 336 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76
  • DC19 : 005.1
  • NDC8 : 410.9
• 件名:
  • LCSH : Logic programming -- Congresses
  • LCSH : Functional programming languages -- Congresses
  • NDLSH : グラフ理論
• 親書誌ID:
  • BA00009279