| Subject | English | Russian |
| progr. | a type is a collection of objects characterized by functions, axioms and preconditions | тип – это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| progr. | a type is a collection of objects characterized by functions, axioms and preconditions | тип это совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (см. Object-Oriented Software Construction second edition by Bertrand Meyer ssn) |
| progr. | collection of objects characterized by functions, axioms and preconditions | совокупность объектов, характеризуемая функциями, аксиомами и предусловиями (ssn) |
| progr. | function precondition | предусловие функции (специальное условие, которые проверяется при вызове (входе в) функцию Alex_Odeychuk) |
| progr. | function preconditions and postconditions | предусловия и постусловия функции (Alex_Odeychuk) |
| progr. | functions, axioms and preconditions | функции, аксиомы и предусловия (ssn) |