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 Loeckx, Jacques 2 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

Automata, languages and programming :
2nd colloquium on ... held at the University of Saarbrucken#July 29 - Aug. 2 Loeckx, Jacques | Springer-Verlag 1974

Congrès

- 619 p.
Cote : 00027316
automate fini # grammaire algébrique # machine de Turing # schéma programme # théorie de la complexité

00Bxx ; 68-06

Localisation : Collection 1er étage

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
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The foundations of program verification Loeckx, Jacques ; Sieber, Kurt | John Wiley And Sons 1987

Ouvrage

- 230 p.
Cote : 00012730
calcul des prédicats # informatique théorique # logique informatique # vérification de programme

68Q60

Localisation : Ouvrage RdC (LOEC)

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

Type

Auteurs

Langue