| NCID | BA00444201 |
| タイトル | 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.] |
| 出版者 | 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 |
| シリーズ名 | 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]
|
| 分類 | LCC:QA76
DC19:005.1
NDC8:410.9 |
| 件名 | LCSH:Logicprogramming -- Congresses
LCSH:Functionalprogramminglanguages -- Congresses
NDLSH:グラフ理論
|
| 著者情報 | 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
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | ドイツ = ドイツ連邦共和国 |
| ISBN | 354017611X(: gw)
038717611X(: us)
|