Rekommenderade teman
Rekommenderade teman
Menade du:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion versus » deduction versus, inclusion versus, recursion arrays
versus virtue » versus nurture, versus value
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion versus » deduction versus, inclusion versus, recursion arrays
versus virtue » versus nurture, versus value
1
Publicerad 2007
Innehållsförteckning:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Hämta fulltext
Elektronisk
E-bok
