Связанные правки для «Математические методы верификации схем и программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
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, суть та же, улучшил изложение)
13 октября 2024
- (Журнал загрузок); 22:44 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 23.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:44 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 22.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:44 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 21.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 22:43 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (опечатка)