在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
computational programming » computation programming, computational program, computing programming
section computational » prediction computational, design computational, effective computational
programming semantics » programming mathematics, programming series, programming secrets
https virus » herpes virus
computational programming » computation programming, computational program, computing programming
section computational » prediction computational, design computational, effective computational
programming semantics » programming mathematics, programming series, programming secrets
https virus » herpes virus
1
出版 2008
書本目錄:
“... Modeling Language -- Semantically Configurable Code Generation -- Safety Hazard Identification by Misuse...”獲取全文
電子
電子書
2
出版 2014
書本目錄:
“... to Break the Bank: Semantics of Capability Policies -- Model-Checking Circus State-Rich Specifications...”獲取全文
電子
電子書
3
出版 2014
書本目錄:
“... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”獲取全文
電子
電子書