 |
| |||
| доказательство правильности программы | |||
|
program proof : 15 צירופים, 7 נושאים |
| אבטחת מידע והגנת מידע | 1 |
| טכנולוגית מידע | 8 |
| כללי | 1 |
| מֶרחָב | 1 |
| מערכות אבטחה | 1 |
| ננוטכנולוגיה | 1 |
| תִכנוּת | 2 |
|
| |||
| доказательство правильности программы | |||
|
program proof : 15 צירופים, 7 נושאים |
| אבטחת מידע והגנת מידע | 1 |
| טכנולוגית מידע | 8 |
| כללי | 1 |
| מֶרחָב | 1 |
| מערכות אבטחה | 1 |
| ננוטכנולוגיה | 1 |
| תִכנוּת | 2 |