Record:   Prev Next
作者 International Joint Conference on Theory and Practice of Software Development (2nd : 1987 : Pisa, Italy)
書名 TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig ... [et al.]
出版項 Berlin ; New York : Springer-Verlag, c1987
國際標準書號 0387176608 (U.S. : v. 1)
038717611X (U.S. : v. 2)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D2.1 T396 1987  V.1 LNCS 249    館內使用    30330000050943
 資訊所圖書室叢書區  SerPro D2.1 T396 1987  V.2 LNCS 250    館內使用    30330000050950
 數學所圖書室  QA75.5 .L42  v.249-250. pt.1    在架上    30340200297152
說明 2 v. : ill. ; 25 cm
系列 Lecture notes in computer science ; 249-250
Lecture notes in computer science ; 249
Lecture notes in computer science ; 250
附註 CONTENTS: v. 1. Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87) -- v. 2. Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functions (CFLP)
主題 Computer software -- Development -- Congresses
Software iis
Theory of computation iis
Alt Author Ehrig, Hartmut
Advanced Seminar on Foundations of Innovative Software Development (1987 : Pisa, Italy)
Coloquium on Trees in Algebra and Programming (12th : 1987 : Pisa, Italy)
Colloquium on Functional and Logic Programming and Specifications (1987 : Pisa, Italy)
Alt Title CAAP '87
CFLP
Record:   Prev Next