記錄 1 之 2
Record:   Prev Next
作者 Koymans, R. (Ron), 1959-
書名 Specifying message passing and time-critical systems with temporal logic / R. Koymans
出版項 Berlin ; New York : Springer-Verlag, c1992
國際標準書號 0387562834 (U.S.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  Ser F4.1 K885  LNCS 651    在架上    30330000088182
 數學所圖書室  QA75.5 .L42  v.651    在架上    30340200301335
說明 viii, 164 p. : ill. ; 25 cm
系列 Lecture notes in computer science ; 651
附註 Includes bibliographical reference and index
主題 Data transmission systems
Logic, symbolic and mathematical
Temporal logic iis
記錄 1 之 2
Record:   Prev Next