主畫面 | 輔助說明 | 重新查詢 | English Mode

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
作者 International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (1st : 1995 : Aarhus, Denmark)
書名 Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS "95, Aarhus, Denmark, May 19-20, 1995 : selected papers / E. Brinksma ... [et al.], (eds.)
出版項 Berlin ; New York : Springer, c1995
國際標準書號 3540606300 (Berlin : acid-free paper)
 book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C2.4 T671 1995  LNCS 1019    館內使用    30330000108774
說明 289 p. : ill. ; 24 cm
系列 Lecture notes in computer science ; 1019
附註 Includes bibliographical references and index
主題 System design -- Congresses
Computer software -- Development -- Congresses
Electronic data processing -- Distributed processing -- Congress
Distributed systems iis
Alt Author Brinksma, Ed
Alt Title TACAS '95
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode