Связанные правки для «Математические методы верификации схем и программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
13 ноября 2024
- (Журнал загрузок); 10:13 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 35.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:13 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:13 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 33.pdf» (2024-2025, без существенных изменений)
10 ноября 2024
- (Журнал загрузок); 22:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:22 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 31.pdf» (2024-2025, без существенных изменений)
7 ноября 2024
- (Журнал загрузок); 21:49 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (опечатка)
- (Журнал загрузок); 13:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 29.pdf» (опечатка)
- (Журнал загрузок); 13:50 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (опечатка)