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

中研院圖書館首頁


重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢
   
Record:   Prev Next
書名 Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos
出版項 Berlin ; New York : Springer-Verlag, 1981
國際標準書號 0387106995 (U.S. : pbk.)
 book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.1 F7237 1981  LNCS 107    館內使用    30330000011077
 數學所圖書室  QA75.5 .L42  v.107    在架上    30340200147225
說明 vii, 478 p. : ill. ; 25 cm
系列 Lecture notes in computer science ; 107
附註 Includes bibliographies and index
主題 Electronic digital computers -- Programming -- Congresses
Formal definition and theory iisf
Semantics iis
Alt Author Díaz, J. (Josep), 1950-
Ramos, I. (Isidro), 1943-
International Colloquium on the Formalization of Programming Concepts (1st : 1981 : Peñíscola, Spain)
Alt Title ICFPC
Record:   Prev Next
重新查詢 Hold this item 轉出資料 MARC 顯示 返回瀏覽 其他查詢


主畫面 | 輔助說明 | English Mode