 |
В программировании доказательство правильности | программ
Различают | два
подхода к | верификации
статистические | и
конструктивные | методы
- найдены отдельные слова| программа | |
| комп., Майкр. | програм; компьютердик программа; колдонмо |
| два | |
| общ. | эки |
| верификация | |
| комп., Майкр. | тастыктоо |
| и | |
| общ. | жана |
| метод | |
| комп., Майкр. | ыкма |
| Русский тезаурус | |||
| |||
| водопровод; вязкий | |||
| |||
| С (v azbuce) | |||
| движение вперёд | |||
| |||
| весьма растворимо | |||
| |||
| вакуумный; ваттметр; ваучер; "Вахта"; внешнеторговый; водитель; вольфрам; воспламеняемость (обозначение группы воспламеняемости в маркировке материалов); Всероссийский; высокий (класс точности) | |||
| Василий (фонетический алфавит гражданской авиации. В АЯ соответствует "Whiskey" Leonid Dzhepko) | |||
| вольт; восток | |||
| вебер | |||
| |||
| век; верста; верхний в. вечер; вид; виза; водный; восточный; выпуск; высший (сорт) | |||
| |||
| восток | |||
| Великий; Вена; Верхний; верховный; винительный падеж; военный; Воронеж | |||
| |||
| третья буква русского алфавита; восходит к кириллической букве "веди", имевшей, кроме звукового, также цифровое значение 2. Большой Энциклопедический словарь | |||
| |||
| B-WM | |||
| В: 35 фраз в 2 тематиках |
| Майкрософт | 33 |
| Общая лексика | 2 |