Record:   Prev Next
作者 International Conference on the Mathematical Foundations of Programming Semantics (9th : 1993 : New Orleans, La.)
書名 Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / S. Brookes ... [et al.], eds
出版項 Berlin ; New York : Springer-Verlag, c1994
國際標準書號 0387580271 (U.S. : acid-free paper)
3540580271 (Berlin)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.802    在架上    30340200307514
 資訊所圖書室叢書區  SerPro D3.1 M426 1993  LNCS 802    館內使用    30330000097332
說明 ix, 648 p. ; 24 cm
系列 Lecture notes in computer science ; 802
附註 Proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics
Includes bibliographical references
主題 Programming languages (Electronic computers) -- Semantics -- Congresses
Alt Author Brookes, S. D. (Stephen D.)
Record:   Prev Next