Семантика и логическая теория статически распределённых программ

Вы здесь

Автор:

Гячас К. К.

Количество экземпляров:

Вид:

Автореферат

Год:

1986

Ключевые слова:

семантика

распределенная программа

статический

Стр.:

17 с.

Библиография:

Библиогр.: c.16-17

Место защиты:

Киев

Номер специальности:

01.01.09

Карточка:

Гячас К. К..

Семантика и логическая теория статически распределённых программ: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.09.-Киев, 1986.-17 с.
Библиогр.: c.16-17