Сведения по «Методы верификации программ»
Основные сведения
| Отображаемый заголовок | Методы верификации программ |
| Перенаправление | Математические методы верификации схем и программ (сведения) |
| Ключ сортировки по умолчанию | Методы верификации программ |
| Длина страницы (в байтах) | 130 |
| Идентификатор страницы | 2165 |
| Язык страницы | русский (ru) |
| Индексация поисковыми роботами | Разрешено |
| Количество просмотров | 31 |
| Количество перенаправлений на эту страницу | 0 |
| Подстраницы данной страницы | 0 (0 перенаправления; 0 обычные) |
Защита страницы
| Редактирование | Без защиты |
| Переименование | Без защиты |
История изменений
| Создатель страницы | PodymovVV (обсуждение | вклад) |
| Дата создания страницы | 13:17, 3 декабря 2023 |
| Последний редактор | PodymovVV (обсуждение | вклад) |
| Дата последней правки | 13:17, 3 декабря 2023 |
| Общее число правок | 1 |
| Общее число различных авторов | 1 |
| Правок за последнее время (в течение 91 день) | 0 |
| Уникальных авторов за последнее время | 0 |
