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

Kroening, Daniel.

概要
作品: 1 作品在 3 項出版品 1 種語言
書目資訊
Decision Procedures = An Algorithmic Point of View / by: SpringerLink (Online service); Kroening, Daniel.; Strichman, Ofer. (書目-語言資料,印刷品)
Validation of Evolving Software by: Kroening, Daniel.; SpringerLink (Online service); Sharygina, Natasha.; Mariani, Leonardo.; Chockler, Hana. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Decision Procedures = An Algorithmic Point of View / by: SpringerLink (Online service); Kroening, Daniel.; Strichman, Ofer. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / by: Kroening, Daniel.; SpringerLink (Online service); Păsăreanu, Corina S. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Decision procedures = an algorithmic point of view / by: Strichman, Ofer.; Kroening, Daniel.; SpringerLink (Online service) (書目-語言資料,印刷品)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / by: Păsăreanu, Corina S.; Kroening, Daniel.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II / by: Pasareanu, Corina S.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Kroening, Daniel. (書目-語言資料,印刷品)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Pasareanu, Corina S.; Kroening, Daniel.; SpringerLink (Online service) (書目-語言資料,印刷品)
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入