Вид документа : Однотомное издание Шифр издания : Pr869/Pr869/775 Заглавие : STACS 94 : 11th Annu. symp. on theoretical aspects of computer science Caen, France, Febr. 24-26, 1994: Proceedings Выходные данные : Berlin: Springer, 1994 Колич.характеристики :XIV,782 p.: Ill. Серия: Lecture notes in computer science; 775 Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 781-782 ISBN, Цена 3-540-57785-8: Б.ц. ГРНТИ : 50.07.03 ББК : З 973.2-01я431 Предметные рубрики: Компьютеры-- Теория Дескрипторы: сб пр--конф Ключевые слова (''Своб.индексиров.''): верификация систем--геометрические вычисления--логика программ Экземпляры :02(1) Свободны : 02(1)