Связанные правки для «Математические методы верификации схем и программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
3 декабря 2025
- (Журнал загрузок); 15:26 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (опечатки)
27 ноября 2025
- (Журнал загрузок); 12:54 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2025/2026, без существенных изменений)
- (Журнал загрузок); 12:54 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (2025/2026, без существенных изменений с поправкой на сдвиг нумерации)
- (Журнал загрузок); 12:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (опечатки)
23 ноября 2025
- (Журнал загрузок); 17:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 33.pdf» (2025/2026, без существенных изменений)
13 ноября 2025
- (Журнал загрузок); 14:16 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (2025/2026, без существенных изменений)
