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)
|