Связанные правки для «Методы верификации программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
13 декабря 2025
- (разн. | история) . . Математические методы верификации схем и программ; 11:22 . . (-523) . . PodymovVV (обсуждение | вклад)
27 ноября 2025
- (разн. | история) . . Математические методы верификации схем и программ; 12:55 . . (-34) . . PodymovVV (обсуждение | вклад)
23 ноября 2025
- (разн. | история) . . Математические методы верификации схем и программ; 17:26 . . (0) . . PodymovVV (обсуждение | вклад)
13 ноября 2025
- (разн. | история) . . Математические методы верификации схем и программ; 14:17 . . (0) . . PodymovVV (обсуждение | вклад)
