Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
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 via » arrays a
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 via » arrays a
1
Published 2005
Table of Contents:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”View full text
Electronic
eBook