Связанные правки для «Математические методы верификации схем и программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
21 октября 2024
- (Журнал загрузок); 16:49 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 27.pdf» (опечатка)
20 октября 2024
- (Журнал загрузок); 21:20 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 28.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:20 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 27.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 21:20 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 26.pdf» (2024-2025, без существенных изменений)
17 октября 2024
- (Журнал загрузок); 13:41 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 24.pdf» (опечатки)
- (Журнал загрузок); 13:41 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 22.pdf» (опечатки)
- (Журнал загрузок); 13:41 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 21.pdf» (опечатки)
16 октября 2024
- (Журнал загрузок); 14:00 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 25.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 14:00 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 24.pdf» (2024-2025, суть та же, улучшил изложение)