А 133796 Коляда, Сергей     Использование символьных преобразований в исследовании свойств программ [Текст] : Автореф. джис... канд. физ.-мат. наук: 01.01.09 / Коляда Сергей Владимирович; КГУ им. Т.Г.Шевченко. — К., 1988. — 12с.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка	1	Перейти на сайт