Record:   Prev Next
書名 Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings / Yuri Gurevich ... [et al.] (eds.)
出版項 Berlin ; New York : Springer, c2000
國際標準書號 3540679596 (softcover : alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F4.1 A1645 2000  LNCS 1912    館內使用    30330000144985
 數學所圖書室  QA75.5 .L42  v.1912    在架上    30340200403628
說明 379 p. : ill. ; 24cm
系列 Lecture notes in computer science ; 1912
附註 Includes bibliographical references and index
Also available online
主題 Machine theory -- Congresses
Alt Author Gurevich, Yuri
Record:   Prev Next