在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
programs composition » program composition, programs competition, program recomposition
composition program » composition programs, compositional program, composition problem
java programs » java programming
program https » programs https, program has, program help
integer java » integer data, integer base, integer dea
programs composition » program composition, programs competition, program recomposition
composition program » composition programs, compositional program, composition problem
java programs » java programming
program https » programs https, program has, program help
integer java » integer data, integer base, integer dea
1
出版 2007
書本目錄:
“... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”獲取全文
電子
電子書
2
出版 2010
書本目錄:
“... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...”獲取全文
電子
電子書
3
出版 2007
書本目錄:
“... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...”獲取全文
電子
電子書