Rekommenderade teman
Rekommenderade teman
Menade du:
programming semantics » programming mathematics, programming series, programming secrets
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
arrays a » arrays _
programming semantics » programming mathematics, programming series, programming secrets
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
arrays a » arrays _
1
Publicerad 2006
Innehållsförteckning:
“... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2005
Innehållsförteckning:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2015
Innehållsförteckning:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“... -- Semantic Approach for Service Oriented Requirements Modeling -- Automatic Reasoning -- Extend Atomic Action...”Hämta fulltext
Elektronisk
E-bok