在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
programming recursion » programming decision, programming session, programming decisions
computers programming » computer programming, computer program, computer programs
function computers » function computer, functions computer, functional computer
recursion coverage » erosion coverage, recursion inverse, region coverage
coverage circuits » converter circuits, charge circuits, tolerant circuits
programming recursion » programming decision, programming session, programming decisions
computers programming » computer programming, computer program, computer programs
function computers » function computer, functions computer, functional computer
recursion coverage » erosion coverage, recursion inverse, region coverage
coverage circuits » converter circuits, charge circuits, tolerant circuits
1
出版 2010
書本目錄:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”獲取全文
電子
電子書
2
出版 2006
書本目錄:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”獲取全文
電子
電子書