GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (3)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Jean-Michel Autebert, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | MIM-enseignement | 1992Présente plusieurs modèles de calcul parmi les plus répandus (machines RAM, machines de Turing, fonctions récursives) et montre leur équivalence comme argument de la thèse de Church. Conçu comme un manuel de cours, l'exposé est suivi d'exercices.
texte imprimé
texte imprimé
Jean-Michel Autebert, Auteur ; Luc Boasson, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Etudes et recherches en informatique | 1988Prolongement vers le 3e cycle et la recherche de l'ouvrage du même auteur sur le thème des langages algébriques.
