語系
跳至 : 概要 | 書目資訊 | 主題

CAV (Conference) (2022 :)

概要
作品: 1 作品在 2 項出版品 1 種語言
書目資訊
Computer aided verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.. Part II / by: CAV (Conference) (2022 :); Shoham, Sharon.; Vizel, Yakir.; SpringerLink (Online service) (書目-電子資源)
Computer aided verification = 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022 : proceedings.. Part I / by: CAV (Conference) (2022 :); Shoham, Sharon.; Vizel, Yakir.; SpringerLink (Online service) (書目-電子資源)
 
 
變更密碼
登入