在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
programming verification » program verification, programs verification, programming classification
programming integrating » programming interfacing, programming interactive, programming international
functions conditional » functions functional, functional conditioning, functions computational
basic citrus » bali citrus, asian citrus, barli citrus
programming verification » program verification, programs verification, programming classification
programming integrating » programming interfacing, programming interactive, programming international
functions conditional » functions functional, functional conditioning, functions computational
basic citrus » bali citrus, asian citrus, barli citrus
1
出版 2013
書本目錄:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”獲取全文
電子
電子書
