 |
В программировании доказательство правильности | программ
Различают | два
подхода к | верификации
статистические | и
конструктивные | методы
- se han encontrado palabras individuales| программа | |
| micr. | програм; компьютердик программа; колдонмо |
| два | |
| gen. | эки |
| верификация | |
| micr. | тастыктоо |
| и | |
| gen. | жана |
| метод | |
| micr. | ыкма |
| Ruso tesauro | |||
| |||
| водопровод; вязкий | |||
| |||
| С (v azbuce) | |||
| движение вперёд | |||
| |||
| весьма растворимо | |||
| |||
| вакуумный; ваттметр; ваучер; "Вахта"; внешнеторговый; водитель; вольфрам; воспламеняемость (обозначение группы воспламеняемости в маркировке материалов); Всероссийский; высокий (класс точности) | |||
| Василий (фонетический алфавит гражданской авиации. В АЯ соответствует "Whiskey" Leonid Dzhepko) | |||
| вольт; восток | |||
| вебер | |||
| |||
| век; верста; верхний в. вечер; вид; виза; водный; восточный; выпуск; высший (сорт) | |||
| |||
| Великий; Вена; Верхний; верховный; винительный падеж; военный; Воронеж | |||
| восток | |||
| |||
| третья буква русского алфавита; восходит к кириллической букве "веди", имевшей, кроме звукового, также цифровое значение 2. Большой Энциклопедический словарь | |||
| |||
| B-WM | |||
| В: 35 a las frases, 2 temas |
| General | 2 |
| Microsoft | 33 |