Record:   Prev Next
作者 International Conference on Abstract State Machines, B and Z (1st : 2008 : London, UK)
書名 Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings / Egon Börger ... [et al.] (eds.)
出版項 Berlin : Springer, 2008
國際標準書號 9783540876021 (pbk.)
3540876022 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D2.1 A1645 2008  LNCS 5238    館內使用    30330000211883
說明 xii, 382 p. : ill. ; 24 cm
系列 Lecture notes in computer science, 0302-9743 ; 5238
附註 Includes bibliographical references and author index
Alt Author Börger, Egon
Alt Title ABZ 2008
Record:   Prev Next