儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-3 之 3)
Holzmann, Gerard J
1
book jacket

Design and validation of computer protocols
Holzmann, Gerard J
Englewood Cliffs, N.J. : Prentice Hall, c1991
 
c1991
紙本資料

館藏地: 資訊服務處圖書館, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  C2.2 H762    在架上    30330000230123
2
book jacket

Partial order methods in verification : Workshop on Partial Order Methods in Verification, July 24-26, 1996, Princeton University
Workshop on Partial Order Methods in Verification (1996 : Princeton University)
Providence, R.I. : American Mathematical Society, 1997
 
1997
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.9.D5 W665 1996    在架上    30340200352312
 資訊所圖書室叢書區  SerPro G2.0 D6115  DIMACS v.29    館內使用    30330000137120
3
book jacket

The spin model checker : primer and reference manual
Holzmann, Gerard J
Boston : Addison-Wesley, 2004
2004
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  D2.5 H762    在架上    30330000233721
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄