Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 540 p.
Cote : 00014025
constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications
68N05 ; 68N15 ; 68Q10 ; 68Q60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 142 p.
Cote : 00018430
décomposition technologique # détection de la zone critique # factorisation algébrique # modèle de délai # réinjection # réseau programmable # synthèse logique
68M10 ; 90B12
Localisation : Ouvrage RdC (LEVA)
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
- 317 p.
Cote : 00010472
calcul algébrique # calcul symbolique # informatique théorique # logique combinatoire # logique de programmation # logique symbolique # système formel
03B40 ; 68C01 ; 68C20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 114 p.
Cote : 00013911
logique # programmation logique # programmation parallèle # spécification de programme # vérification de programme
68M17 ; 68Q10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 708 p.
Cote : 00013955
déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes
68Q60 ; 68T15
Localisation : Collection 1er étage
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.
V
- 285 p.
Cote : 00014301
système temps réel # temps réel
68M15 ; 68Mxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 419 p.
Cote : 00014303
objet # programmation oriente objet
68Q10 ; 68Q60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 164 p.
Cote : 00015383
application des ordinateurs # canal # communication # informatique théorique # logique et signification des programmes # logique mathématique # raisonnement au sujet des programmes # spécification # vérification
03B45 ; 68Q60 ; 94Axx
Localisation : Collection 1er étage
English