Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
refactoring function » refactoring functional, restoring function, refactoring detection
program refactoring » program reasoning
function https » functions https, fiction https
array program » array programs, arrest program, day program
refactoring function » refactoring functional, restoring function, refactoring detection
program refactoring » program reasoning
function https » functions https, fiction https
array program » array programs, arrest program, day program
1
Pubblicazione 2006
Sommario:
“... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Testo
Elettronico
eBook