Связанные правки для «Математические методы верификации схем и программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
20 ноября 2024
- (Журнал загрузок); 10:34 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 40.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:33 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 39.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:33 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 38.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 10:33 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 37.pdf» (2024-2025, без существенных изменений)
17 ноября 2024
- (Журнал загрузок); 13:25 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Uppaal.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 13:12 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 36.pdf» (2024-2025, без существенных изменений)
- (Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 34.pdf» (опечатки)
- (Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 32.pdf» (опечатки)
- (Журнал загрузок); 11:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP 30.pdf» (опечатки)
