Связанные правки для «Математические методы верификации схем и программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
26 сентября 2024
- (Журнал загрузок); 14:34 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (2024-2025, без существенных изменений)
25 сентября 2024
- (Журнал загрузок); 13:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem02.pdf» (2024-2025, без существенных изменений)
22 сентября 2024
- (Журнал загрузок); 15:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 15.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 14.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 13.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:23 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 12.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 15:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (опечатка)
17 сентября 2024
- (Журнал загрузок); 16:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (русификация)
- (Журнал загрузок); 16:11 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (русификация)
15 сентября 2024
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 11.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 10.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 09.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:21 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 08.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:20 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 07.pdf» (2024-2025, без существенных изменений)
12 сентября 2024
- (Журнал загрузок); 11:32 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem01.pdf» (2024-2025, без существенных изменений)
8 сентября 2024
- (Журнал загрузок); 20:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 06.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 05.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 04.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 20:18 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 03.pdf» (2024-2025, без существенных изменений)
31 августа 2024
- (Журнал загрузок); 20:38 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 02.pdf» (2024/2025, без существенных изменений)
- (Журнал загрузок); 20:38 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 01.pdf» (2024/2025, без существенных изменений)