Связанные правки для «Математические методы верификации схем и программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
13 декабря 2025
- (Журнал загрузок); 11:22 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 36.pdf» (2025/2026, без существенных изменений (с поправкой на нумерацию))
- (Журнал загрузок); 11:22 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 35.pdf» (2025/2026, без существенных изменений (с поправкой на нумерацию))
