儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-8 之 8)
Peled, Doron A.
1
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
2
book jacket

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
ATVA 2005 (2005 : Taipei, Taiwan)
Berlin Heidelberg : Springer-Verlag GmbH., 2005
2005
電子書

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

Formal techniques for networked and distributed systems : FORTE 2002 : 22nd IFIP WG6.1 International Conference, Houston, Texas, USA, November 11-14, 2002
International Conference on Formal Techniques for Networked and Distributed Systems (22nd : 2002 : Houston, Texas)
Berlin : Springer, 2002
2002
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro C2.4 F7235 2002  LNCS 2529    館內使用    30330000157201
4
book jacket

Model checking and artificial intelligence 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
MoChArt 2008 (2008 : Patrai, Greece)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
電子書

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

Runtime verification 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
RV 2009 (2009 : Grenoble, France)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
2009
電子書

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

Time for verification essays in memory of Amir Pnueli

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
2010
電子書

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

Verification, model checking and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings
VMCAI 2008 (9th : 2008 : San Francisco, USA)
Berlin : Springer, 2008
2008
紙本資料

館藏地: 資訊所圖書室
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro F3 V516 2008  LNCS 4905    館內使用    30330000203062
8
book jacket

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
VMCAI 2008 (2008 : San Francisco, Calif.)
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
2008
電子書

館藏地: 中央研究院
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄