Computer software - Verification.

概要
作品: 44 作品在 25 項出版品 25 種語言
書目資訊
Principles of the Spin model checker by: (書目-語言資料,印刷品)
Principles of model checking by: (書目-電子資源)
更多
主題
 
 
變更密碼
登入