THÉORIE DE LA PROGRAMMATION
-
BTLOGICIELS (INFORMATIQUE)
-
UDC004*04*02
-
Descriptor GERTHEORIE DER PROGRAMMIERUNG
-
Descriptor ENGTHEORY OF PROGRAMMING
-
Descriptor FRETHÉORIE DE LA PROGRAMMATION
-
Variant GERPROGRAMMIERUNG/THEORIE DER PROGRAMMIERUNG
-
Variant ENGPROGRAMMING/THEORY OF PROGRAMMING
-
Variant FREPROGRAMMATION/THÉORIE DE LA PROGRAMMATION
-
NTSPECIFICATION ALGEBRIQUE (THÉORIE DE LA PROGRAMMATION)
-
NTPROGRAMMES CORRECTS (THÉORIE DE LA PROGRAMMATION)
-
NTMÉTAPROGRAMMATION (THÉORIE DE LA PROGRAMMATION)
-
NTSYSTÈMES DE RÉÉCRITURE + SYSTÈMES DE RÉDUCTION (THÉORIE DE LA PROGRAMMATION)