 |
| English | Ukrainian |
| crash-proof program | тривка програма (захищена від руйнування) |
| crash-proof program | живуча програма (захищена від руйнування) |
| formal proof | формальне доведення |
| indirect proof | непряме доведення |
| mistake-proof | захищений від помилок |
| page proofs | сторінкова коректура (масив змін до редагованої сторінки) |
| program proof | доведення правильності програми |
| proof copy | копія на коректуру |
| proof copy | копія на вичитування |
| proof listing | контрольний роздрук |
| proof listing | контрольний лістинг (вхідної і вихідної програм) |
| proof of termination | доведення правильності завершення роботи (програми) |
| proof procedure | процедура доведення |
| proof quality | пробний |
| proof scheme | схема доведення |
| proof theory | теорія доведень |
| tamper-proof chip | чип із захистом від копіювання |