Связанные правки для «Методы верификации программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
16 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 14:01 . . (0) . . PodymovVV (обсуждение | вклад)
13 октября 2024
- (разн. | история) . . Математические методы верификации схем и программ; 22:45 . . (0) . . PodymovVV (обсуждение | вклад)
8 октября 2024
- (разн. | история) . . м Математические методы верификации схем и программ; 15:57 . . (+2) . . PodymovVV (обсуждение | вклад)
7 октября 2024
- (разн. | история) . . м Математические методы верификации схем и программ; 23:12 . . (+62) . . PodymovVV (обсуждение | вклад)
- (разн. | история) . . Математические методы верификации схем и программ; 00:48 . . (0) . . PodymovVV (обсуждение | вклад)