Опис документа:
| |
Шифр: |
Д |
Авт. знак: |
8762 |
Автор: | Коляда Сергей Владимирович |
Назва: | Использование символьных преобразований в исследовании свойств программ |
Від. щодо назв.: |
Дис... канд.физ-мат. наук: 01.01.09 |
Відповідальність: |
Коляда Сергей Владимирович; АН УССР. Ин-т кибернетики ми В.М.Глушкова |
Місто: | Киев |
Рік: | 1988 |
Сторінок: | 121л. |
ББК: |
З973.2-018 |
Тип документу: |
Дисертація |
Пошук: заповніть хоча б одне з полів
|
|