Pr869 Pr869/775 Pr869/775 / Pr869/775-02 STACS 94 : 11th Annu. symp. on theoretical aspects of computer science Caen, France, Febr. 24-26, 1994: Proceedings / P. Enjalbert et al. (Eds.). - Berlin [et al.] : Springer, 1994. - XIV,782 p. : Ill. - (Lecture notes in computer science ; 775). - Bibliogr. at the end of the art. - Auth. ind.: p. 781-782 Перевод заглавия: Труды ежегодного симпозиума по теоретическим аспектам вычислительной техники Рубрики: Компьютеры--Теория Кл.слова (ненормированные): верификация систем -- геометрические вычисления -- логика программ Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |