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

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