Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 424 p.
Cote : 00013913
construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme
68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 287 p.
Cote : 00017469
Pascal # calcul des prédicats # complexité de programme # fonction récursive # formalisation # langage de programmation # langage standard # logique de la programmation # preuve et vérification de programme # programmation déclarative # récursivité
03B10 ; 03B70 ; 03Dxx ; 68N15 ; 68N17
Localisation : Ouvrage RdC (MARG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 301 p.
Cote : 00021536
algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme
00-01 ; 00A06 ; 03B70 ; 03G15 ; 05-01
Localisation : Ouvrage RdC (SCHM)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 365 p.
Cote : 00009281
68N05 ; 68N15 ; 68SXX
Localisation : Ouvrage RdC (GRIE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 254 p.
Cote : 00009569
sureté de fonctionnement # fiabilité # logiciel # erreur
68Nxx
Localisation : Ouvrage RdC (KOUK)
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.
V
- 322 p.
Cote : 00013811
architecture des systèmes # programmation # programme # traitement des données # vérification de programme
68M07 ; 68Mxx ; 68P05 ; 68Q60
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.
V
- 217 p.
Cote : 00013898
constructions et carastéristique de langage # environnements de programmation # exigeneces # ingenierie de logiciels # outils et techniques # processus # specification # vérification de programme # vérification et raisonnement sur les programmes
68N05 ; 68O60 ; 68T15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 398 p.
Cote : 00013916
langage de requète # programmation parallèle # spécification # vérification de programme
68Q10
Localisation : Collection 1er étage