Введение в теорию формального вывода программ
2001-4/10971 2001-4/10971 [2001-25196]/русский (rus)/Введение в теорию формального вывода программ / Валидов Ф. И. ; М-во общ. и проф. образования Рос. Федерации, М-во образования Респ. Татарстан, Ин-т экономики, упр. и права.Введение в теорию формального вывода программ / Валидов Ф. И.Введение в теорию формального вывода программ.Казань/Таглимат/, 1999 ( ). - Таглимат, 1999. - 99 с. ; 21 см.Введение в теорию формального вывода программ. Казань, 1999 .Программы (компьют.)/50/32.973.26-018/З973.2-018/