Record:   Prev Next
作者 Hailpern, Brent T. (Brent Tzion), 1955-
書名 Verifying concurrent processes using temporal logic / Brent T. Hailpern
出版項 Berlin ; New York : Springer-Verlag, 1982
國際標準書號 0387112057 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA75.5 .L42  v.129    在架上    30340200149742
 資訊所圖書室叢書區  Ser F4.1 H151  LNCS 129    在架上    30330000016118
說明 viii, 208 p. : ill. ; 25 cm
系列 Lecture notes in computer science ; 129
附註 Bibliography: p. [203]-208
Includes index
主題 Parallel processing (Electronic computers)
Computer programs -- Verification
Temporal logic iis
Record:   Prev Next