Сведения по «Методы формальной верификации программ 2013»
Материал из SEWiki
Основные сведения
| Отображаемый заголовок | Методы формальной верификации программ 2013 |
| Ключ сортировки по умолчанию | Методы формальной верификации программ 2013 |
| Длина страницы (в байтах) | 1381 |
| Идентификатор страницы | 563 |
| Язык страницы | русский (ru) |
| Модель содержимого страницы | вики-текст |
| Индексация поисковыми роботами | Разрешено |
| Количество перенаправлений на эту страницу | 0 |
Защита страницы
| Редактирование | Без защиты (бессрочно) |
| Переименование | Без защиты (бессрочно) |
История изменений
| Создатель страницы | SemenMartynov (обсуждение | вклад) |
| Дата создания страницы | 20:09, 4 сентября 2013 |
| Последний редактор | SemenMartynov (обсуждение | вклад) |
| Дата последней правки | 21:19, 24 октября 2013 |
| Общее число правок | 7 |
| Общее число различных авторов | 2 |
| Правок за последнее время (в течение 90 дней) | 0 |
| Уникальных авторов за последнее время | 0 |
