Связанные правки для «Математические методы верификации схем и программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
1 октября 2024
- (Журнал загрузок); 13:19 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Prac Spin.pdf» (2024-2025, без существенных изменений)
26 сентября 2024
- (Журнал загрузок); 14:34 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP Review Spin.pdf» (2024-2025, без существенных изменений)
25 сентября 2024
- (Журнал загрузок); 13:58 . . PodymovVV (обсуждение | вклад) загружена новая версия «Файл:Verif VP sem02.pdf» (2024-2025, без существенных изменений)