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

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

Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.

Настройки свежих правок Показать последние 50 | 100 | 250 | 500 изменений за 1 | 3 | 7 | 14 | 30 дней
Показать малые правки | Показать ботов | Скрыть непредставившихся | Скрыть представившихся участников | Скрыть свои правки
Показать изменения с 17:35, 8 декабря 2025.
   
Название страницы:

3 декабря 2025

Источник — «https://mk.cs.msu.ru/index.php/Служебная:Связанные_правки»