Computer software - Verification.

概要
作品: 40 作品在 21 項出版品 21 種語言
書目資訊
Principles of the Spin model checker by: (書目-語言資料,印刷品)
Principles of model checking by: (書目-語言資料,印刷品)
Test pattern generation using boolean proof engines by: (書目-語言資料,印刷品)
Debugging at the electronic system level by: (書目-語言資料,印刷品)
更多
主題
 
 
變更密碼
登入