Связанные правки для «Методы верификации программ»
Это список недавних изменений в страницах, на которые ссылается указанная страница (или входящих в указанную категорию). Страницы, входящие в ваш список наблюдения выделены.
30 августа 2024
- (разн. | история) . . Математические методы верификации схем и программ; 19:26 . . (+399) . . PodymovVV (обсуждение | вклад)