Сведения по «Математические методы верификации схем и программ»

Перейти к: навигация, поиск

Основные сведения

Отображаемый заголовокМатематические методы верификации схем и программ
Ключ сортировки по умолчаниюМатематические методы верификации схем и программ
Длина страницы (в байтах)21 633
Идентификатор страницы720
Язык страницырусский (ru)
Индексация поисковыми роботамиРазрешено
Количество просмотров77 414
Количество перенаправлений на эту страницу2
Учитывается счётчиком как содержательная страницаДа
Подстраницы данной страницы0 (0 перенаправления; 0 обычные)

Защита страницы

РедактированиеБез защиты
ПереименованиеБез защиты

История изменений

Создатель страницыPodymovVV (обсуждение | вклад)
Дата создания страницы09:41, 9 сентября 2016
Последний редакторPodymovVV (обсуждение | вклад)
Дата последней правки11:02, 22 января 2024
Общее число правок127
Общее число различных авторов3
Правок за последнее время (в течение 91 день)2
Уникальных авторов за последнее время1