Сведения по «Методы формальной верификации программ 2012»
Материал из SEWiki
Основные сведения
| Отображаемый заголовок | Методы формальной верификации программ 2012 |
| Ключ сортировки по умолчанию | Методы формальной верификации программ 2012 |
| Длина страницы (в байтах) | 105 |
| Идентификатор страницы | 345 |
| Язык страницы | русский (ru) |
| Модель содержимого страницы | вики-текст |
| Индексация поисковыми роботами | Разрешено |
| Количество перенаправлений на эту страницу | 0 |
Защита страницы
| Редактирование | Без защиты (бессрочно) |
| Переименование | Без защиты (бессрочно) |
История изменений
| Создатель страницы | Sergey.kazenyuk (обсуждение | вклад) |
| Дата создания страницы | 17:39, 13 сентября 2012 |
| Последний редактор | Sergey.kazenyuk (обсуждение | вклад) |
| Дата последней правки | 17:39, 13 сентября 2012 |
| Общее число правок | 1 |
| Общее число различных авторов | 1 |
| Правок за последнее время (в течение 90 дней) | 0 |
| Уникальных авторов за последнее время | 0 |
