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
Call n° : 00021324
conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de type ALGOL # sémantique de langage algorithmique # sémantique formelle # théorie algébrique # treillis de diagramme de flot
[-] conditionnel linéaire # expérience avec assertion inductive pour prouver la justesse # formalisation de propriété de stockage # justesse partielle # preuve de justesse de technique d'implémentation # procédure et paramétre (approche axiomatique) # schéma de programme et logique # structure et signification de programme élémentaire # synthèse de programme automatique # système d'axiome pour énoncé d'assignement simple # sémantique d'énoncé de ...
[+] 68Q45 ; 68N01 ; 68Q55 ; 68N17 ; 68P20 ; 68-06
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 171 p.
Call n° : 00027325
programmation # sémantique # langage de programmation
68-02 ; 68N01
Location : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 650p.
Call n° : 00030098
informatique # logique de programmation par contraintes # problème de satisfaction de contraintes # algorithme pour des équations diophantiennes # calcul symbolique # intelligence artificielle
00B25 ; 68-06 ; 68N01 ; 68N17 ; 68W30
Location : Collection 1er étage
Français