Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы

Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы

Bibliographic Details
Parent link:Вычислительные системы: сборник научных трудов/ Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики. Вып. 124 : Языки спецификаций и логическое программирование.— , 1964-2008
Other Authors: Ершов Ю. Л. (редактор), Гончаров С. С.
Language:Russian
Published: 1988
Subjects:
Вычислительные системы
Программирование логическое
спецификации
языки
параллельные процессы
синхронизация
динамическая логика
семантика
прикладная логика
Format: Book
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=249641
Description
Physical Description:148 с. ил.

Similar Items