 |
| |||
| provably correct programs (ssn) | |||
| |||
| provably correct program (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям ssn) | |||
|
| |||
| provably correct programs (ssn) | |||
| |||
| provably correct program (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям ssn) | |||