 |
В программировании доказательство правильности | программ
Различают два подхода к | верификации
статистические и конструктивные | методы
- only individual words found (there may be no translations for some thesaurus entries in the bilingual dictionary)| программа | |
| comp., MS | atur cara; atur cara komputer; aplikasi |
| программа Visual Studio Industry Partner | |
| comp., MS | Program Rakan Industri Studio Visual |
| верификация | |
| comp., MS | penentusahan |
| метод | |
| comp., MS | kaedah |
| Russian thesaurus | |||
| |||
| С (v azbuce) | |||
| движение вперёд | |||
| |||
| весьма растворимо | |||
| |||
| вакуумный; ваттметр; ваучер; "Вахта"; внешнеторговый; водитель; вольфрам; воспламеняемость (обозначение группы воспламеняемости в маркировке материалов); Всероссийский; высокий (класс точности) | |||
| Василий (фонетический алфавит гражданской авиации. В АЯ соответствует "Whiskey" Leonid Dzhepko) | |||
| вольт; восток | |||
| вебер | |||
| |||
| век; верста; верхний в. вечер; вид; виза; водный; восточный; выпуск; высший (сорт) | |||
| |||
| Великий; Вена; Верхний; верховный; винительный падеж; военный; Воронеж | |||
| восток | |||
| |||
| третья буква русского алфавита; восходит к кириллической букве "веди", имевшей, кроме звукового, также цифровое значение 2. Большой Энциклопедический словарь | |||
| |||
| B-WM | |||
| В: 64 phrases in 1 subject |
| Microsoft | 64 |