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
- 164 p.
Cote : 00010390
analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel
03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 232 p.
Cote : 00010510
68-06 ; 68B10 ; 68B20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 180 p.
Cote : 00011171
analyse de la programmation # programmation # système informatique
68A05 ; 68B10
Localisation : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 216 p.
Cote : 00013565
analyse des programmes # automate # circuit # commande combinatoire # commande non combinatoire # configuration des réseaux # réseau informatique # translation # vérification de programme
68B10 ; 68D10 ; 68FXX ; 94Cxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 489 p.
Cote : 00013821
compileur # générateur # grammaire # langage de programmation # processeur # sémantique # vérification de programme
68B10
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
- 118 p.
Cote : 00010507
programme # programme de correction # vérification de programme
68B10
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
- 147 p.
Cote : 00012093
calcul # langage formel # logique # outil mathématique de l'informatique # programmation # théorie des nombres
68B10 ; 68C01
Localisation : Collection 1er étage
English