Введение в теорию формального вывода программ
Валидов, Фарит Искандерович
1999
99 с.
Главная
·
Поиск
·
Карта рубрик
·
Заказ копий
·
Автор: Валидов, Фарит Искандерович