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 F.3.3 7 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 336 p.
Cote : 00013968
algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog

68N17 ; 68Nxx

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 255 p.
Cote : 00010485
informatique théorique # langage de programmation # logique de programmation # programmation # programme d'analyse # schéma

68B10 ; 68C05

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 208 p.
Cote : 00013961
calcul lambda # informatique théorique # langage # langage de programmation # langage de programmation combinatoire # langage de programmation fonctionnel # logique # programmation # programmation automatique # sémantique # système # technique de programmation

68N05 ; 68N15 ; 68Q40 ; 68R15

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 433 p.
Cote : 00014026
algorithmique # implementation de langage # langage de programmation # logique # progammation # progammation logique # programmation oriente objet
Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 165 p.
Cote : 00013423
implemenation de langage # langage de programmation # langage formel # métalangage # summer 69

68N15 ; 68Nxx

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 544 p.
Cote : 00013800
développement de programme # implentation de programme # modula 2 # programme # programme informatique

68Nxx

Localisation : Ouvrage RdC (MESS)

Sélection Signaler une erreur

Filtrer

Type
Auteurs
Langue