儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
主題 (1-3 之 3)
System theory -- Security measures -- Congresses
1
book jacket

Verification of infinite-state systems with applications to security

Amsterdam ; Washington, D.C. : IOS Press, c2006
c2006
電子書

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

Verification of infinite-state systems with applications to security

Amsterdam ; Washington, D.C. : IOS Press, c2006
c2006
電子書

館藏地: 中央研究院
3
 

Verification of infinite-state systems with applications to security
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)
Amsterdam ; Washington, D.C. : IOS Press, c2006
c2006
電子書

館藏地: 資訊服務處
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄