Опис документа:
| |
Шифр: |
Д |
Авт. знак: |
7890 |
Автор: | Гячас Кститис Казакевич |
Назва: | Семантика и логическая теория статически распределенных программ |
Від. щодо назв.: |
Дис... канд. физ.-мат.наук: 01.01.09 |
Відповідальність: |
Гячас Кститис Казакевич; АНЛитССР, Ин-т математики и кибернетики |
Місто: | Вильнюс |
Рік: | 1986 |
Сторінок: | 108л. |
ББК: |
З973.2-018 |
Тип документу: |
Дисертація |
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
|
|
|
Вибачте, зараз проходить оновлення бази системи, тому пошук тимчасово недоступний.
Спробуйте будь ласка через 20 хвилин
|
|