En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents B.3.0 1 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Langage Pascal et logique du premier ordre. Tome 2 :
récursivité et dérécursification, preuves et complexité d'algorithme Margenstern, M. | Masson 1990

Ouvrage

- 288 p.
Cote : 00017848
Pascal # analyse des algorithmes # complexité des algorithmes # dérécursification # langage de programmation # logique du premier ordre # preuve de programme # récursivité # standard # vérification de programme

03B10 ; 68N05 ; 68N15 ; 68Q25

Localisation : Ouvrage RdC (MARG)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

Référence

Codes MSC

Date de parution