在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
verification programming » specification programming, identification programming, verification program
functions verification » functional verification, auction verification, function purification
programming decisions » programming decision, programming design, programming session
decisions basics » decisions basic, decision basic, decisions cases
basics tools » basic tools, tactics tools, based tools
verification programming » specification programming, identification programming, verification program
functions verification » functional verification, auction verification, function purification
programming decisions » programming decision, programming design, programming session
decisions basics » decisions basic, decision basic, decisions cases
basics tools » basic tools, tactics tools, based tools
1
出版 2005
書本目錄:
“... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”獲取全文
電子
電子書
2
出版 2010
書本目錄:
“... Verification of Floating-Point Programs -- Verifying Safety Properties with the TLA?+? Proof System -- MUNCH...”獲取全文
電子
電子書