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