Résultats de la recherche - functions functional ((programming recursion) or (programming mathematics)) arrays via*

Recherches alternatives:
programming recursion » programming decision , programming session , programming decisions
functions functional » equations functional
arrays via » arrays a

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publié 2015

Table des matières: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Accéder au texte intégral

Électronique eBook

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Publié 2005

Table des matières: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Accéder au texte intégral

Électronique eBook

Restreindre la recherche