Вид документа : Однотомное издание Шифр издания : Pr869/Pr869/702 Заглавие : Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, Sept.28 - Oct.2, 1992. Sel. papers Выходные данные : Berlin: Springer, 1993 Колич.характеристики :VIII,439 p.: Ill. Серия: Lecture notes in computer science; 702 Примечания : Bibliogr. at the end of the art ISBN, Цена 3-540-56992-8: Б.ц. ГРНТИ : 50.05.09 ББК : З 973.2-018.12я431 Предметные рубрики: Языки программирования Дескрипторы: сб пр--конф Ключевые слова (''Своб.индексиров.''): операционная семантика--процесс алгебры--функциональные языки Экземпляры :02(1) Свободны : 02(1) |