検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA00902980
名称(HDNG)International Joint Conference on Theory and Practice of Software Development
生没年(DATE)1985;1987;1989;1991;1995;1997
から見よ(SF)TAPSOFT
Conference on Theory and Practice of Software Development, International Joint
注記(NOTE)Its ([1st] : March 25-29, 1985 : Berlin) Mathematical foundations of software development, c1985: CIP t.p. (International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985)
Its (2nd : March 23-27, 1987 : Pisa, Italy) TAPSOFT '87, c1987
Its (3rd : March 13-17, 1989 : Barcelona) TAPSOFT '89, c1989
Its (4th : April 8-12, 1991 : Brighton, U.K.) TAPSOFT '91, c1991
EDSRC:TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds(Springer, 1995)
EDSRC:TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings / Michel Bidoit, Max Dauchet (eds.)(Springer, c1997)
LCAID84181029
選択行を：
資料名所在
1Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) / edited by Hartmut Ehrig ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 249 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 1).理数学 007.6:T:1
2Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) / edited by Hartmut Ehrig ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (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).理数学 007.6:T:2
選択行を
▲ページトップへ