Telecharger Cours

AD-772 063 PROOF TECHNIQUES FOR RECURSIVE PROGRAMS

The concept of least fixed-point of a continuous function can be considered as the unifying thread of this dissertation.



Download