Касаткина И. В.

Автор:

Вид	Название	Год	Автор	Серия	Редакторы	Колл. автор	Источник	Дата поступления
А	Разработка методов доказательства правильности программ для одного класса алгоритмов	1981	Касаткина И. В.					03.03.1981