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

Donaldson, Alastair.

概要
作品: 1 作品在 1 項出版品 1 種語言
書目資訊
Model checking software = 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings / by: Parker, David.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Donaldson, Alastair. (書目-語言資料,印刷品)
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入