GEOTRUST SSL CERTIFICATE
Détail de la série
Documents disponibles dans cette série (2)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Maurice Margenstern, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Logique, mathématiques, informatique | 1989Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal.
texte imprimé
Maurice Margenstern, Auteur | Issy-les-Moulineaux (Hauts-de-Seine) : Masson | Logique, mathématiques, informatique | 1990Présente les applications des outils théoriques exposés dans le t. 1. Traite de deux autres aspects fondamentaux : preuves de programmes et complexité des algorithmes. Nombreux exercices corrigés.
