語系: 繁體中文
說明(常見問題)
登入
語系
跳至 : 概要 | 書目資訊 | 主題

Bloem, Roderick.

概要
作品: 1 作品在 2 項出版品 1 種語言
書目資訊
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Bloem, Roderick.; Arbel, Eli.; SpringerLink (Online service) (書目-語言資料,印刷品)
Software Verification = 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers / by: Fan, Chuchu.; Sharygina, Natasha.; Bloem, Roderick.; SpringerLink (Online service); Dimitrova, Rayna. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Handbook of Model Checking by: SpringerLink (Online service); Bloem, Roderick.; Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Trusted systems = 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013 : proceedings / by: Lipp, Peter.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bloem, Roderick.; SpringerLink (Online service) (書目-語言資料,印刷品)
Hardware and Software: Verification and Testing = 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by: Bloem, Roderick.; Arbel, Eli.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入