在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
function computing » education computing, generation computing
recursion coverage » erosion coverage, recursion inverse, region coverage
coverage circuits » converter circuits, charge circuits, tolerant circuits
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
function computing » education computing, generation computing
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...”获取全文
电子
电子书