Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion coverage » erosion coverage, recursion inverse, region coverage
coverage circuits » converter circuits, charge circuits, tolerant circuits
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion coverage » erosion coverage, recursion inverse, region coverage
coverage circuits » converter circuits, charge circuits, tolerant circuits
1
Published 2010
Table of Contents:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”View full text
Electronic
eBook