 |
Terms for subject Programming containing формальное высказывание | all forms | in specified order only
| Russian | English |
| формальное высказывание | formal assertion (ssn) |
| формальные высказывания о типах в программах | formal assertions about the typing of programs (ssn) |