THEORY OF PROGRAMMING
-
BTSOFTWARE (COMPUTER SCIENCE)
-
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
-
NTALGEBRAIC SPECIFICATION (THEORY OF PROGRAMMING)
-
NTCORRECTNESS (THEORY OF PROGRAMMING)
-
NTMETA-PROGRAMMING (THEORY OF PROGRAMMING)
-
NTREWRITING RULES + PRODUCTIONS (THEORY OF PROGRAMMING)