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

Computer aided verification 16th international conference, CAV 2004
CAV (Conference) (16th : 2004 : Boston, Mass.)
Berlin ; London : Springer, c2004
c2004
電子書

館藏地: 中央研究院
2
book jacket

Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, proceedings
International Conference on Computer Aided Verification (16th : 2004 : Bostan, MA)
Berlin : Springer, 2004
2004
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro G4 C7383 2004  LNCS 3114    館內使用    30330000168463
3
book jacket

Model checking
Clarke, E. M., 1945-
Cambridge, MA : MIT Press, 1999
 
1999
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室圖書區  D2.4 C597    在架上    30330000139571
 資訊所圖書室圖書區  D2.4 C597 c.2  在架上    30330000223359
4
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
5
book jacket

The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996
Workshop on the SPIN Verification System (1996 : New Brunswick, N.J.)
Providence, R.I. : American Mathematical Society, 1997
 
1997
紙本資料

館藏地: 數學所圖書室, 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.76.V47 W677 1996    在架上    30340200355539
 資訊所圖書室叢書區  SerPro G2.0 D6115  DIMACS v.32    館內使用    30330000137153
Peled, Doron A.
6
book jacket

Automated technology for verification and analysis : third international conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
International Symposium on Automated Technology for Verification and Analysis (3rd : 2005 : Taipei, Taiwan)
Berlin ; New York : Springer, c2005
c2005
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro B1.2 A939 2005  LNCS 3707    館內使用    30330000178736
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄