Chargement...
Chargement...
  1. Serie
  2. Langage Pascal et logique du premier ordre

Livres Langage Pascal et logique du premier ordre

Auteur

Support

Série

Disponibilité

1
Langage Pascal et logique du premier ordre. Vol. 2. Récursivité et dérécursification, preuves et complexivité d'algorithmes
Langage Pascal et logique du premier ordre. Vol. 2. Récursivité et dérécursification, preuves et complexivité d'algorithmes
Auteur : Maurice Margenstern
Éditeur(s) : Elsevier Masson
Pré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. ©Electre 2025
30,30 €
Chargement...
Langage Pascal et logique du premier ordre. Vol. 1. Programmation en Pascal, prédicats, systèmes formels
Langage Pascal et logique du premier ordre. Vol. 1. Programmation en Pascal, prédicats, systèmes formels
Auteur : Maurice Margenstern
Éditeur(s) : Elsevier Masson
Présente les outils de logique mathématique appliqués à l'analyse du langage Pascal. ©Electre 2025
30,30 €
Chargement...
1