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

Neele, Thomas.

概要
作品: 0 作品在 1 項出版品 1 種語言
書目資訊
Model checking software = 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024 : proceedings / by: SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Neele, Thomas.; Wijs, Anton. (書目-語言資料,印刷品)
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入