Structures de données et de programmes
écritures, preuve et analyse d'algorithmes
Livre Ecrit par: Cousot, Patrick ; Publié en: 1976
Edition:
Grenoble:
E. N. S. I. M. A. G.
Langue:
Français
Collation:
44f. ill.
;25 cm
Index décimal
005.131 .Logique symbolique (automates, fonctions récursives appliquées aux langages de programmation, grammaires, langages formels, principes mathématiques des langages de programmation)