Вид документа : Однотомное издание Шифр издания : Pr869/Pr869/630 Заглавие : CONCUR '92 : Third intern. conf. on concurrency theory, Stony Brook, USA, Aug. 24-27, 1992 : Proc. Выходные данные : Berlin: Springer, 1992 Колич.характеристики :580 p.: Ill. Серия: Lecture notes in computer science; 630 Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 580 ISBN, Цена 3-540-55822-5: Б.ц. ГРНТИ : 50.07.03 ББК : З 973.22-01Я431 Предметные рубрики: Теория автоматов Вычислительные системы-- Теория Дескрипторы: сб пр--конф Ключевые слова (''Своб.индексиров.''): семантика--вероятностные процессы--временная логика--автоматы Экземпляры :02(1) Свободны : 02(1) |