CORRECTNESS (THEORY OF PROGRAMMING)
  • BT
    THEORY OF PROGRAMMING
  • UDC
    004*04*02*03
  • Descriptor GER
    KORREKTHEIT (THEORIE DER PROGRAMMIERUNG)
  • Descriptor ENG
    CORRECTNESS (THEORY OF PROGRAMMING)
  • Descriptor FRE
    PROGRAMMES CORRECTS (THÉORIE DE LA PROGRAMMATION)
  • Variant FRE
    ALGORITHMES CORRECTS
  • Variant FRE
    CORRECT/PROGRAMMES CORRECTS (THÉORIE DE LA PROGRAMMATION)
·
Last data import from Alma: 1 January 2025