 |
| |||
| preconditions and postconditions (ssn); pre and post conditions (средства контрактного программирования; корпорации AdaCore Alex_Odeychuk) | |||
| предусловия и постусловия: 4 צירופים, 1 נושאים |
| תִכנוּת | 4 |
|
| |||
| preconditions and postconditions (ssn); pre and post conditions (средства контрактного программирования; корпорации AdaCore Alex_Odeychuk) | |||
| предусловия и постусловия: 4 צירופים, 1 נושאים |
| תִכנוּת | 4 |