004/C74    C73         Conditional Term Rewriting Systems [Text] : 3rd International Workshop,Pont-a-Mousson,France,1992.Proceedings / M.Rusinowitch,J.L.Remy(Eds.). - Berlin;Heidelberg etc. : Springer, 1993. - XI,501 p. - (Lecture Notes in Computer Science;656). - ISBN 3-540-56393-8 : Б. ц. ГРНТИ 50.05.90 00.13 УДК 004.43(063) Рубрики: Языки программирования ЭВМ Кл.слова (ненормированные): Перезаписывающая система -- Труды -- Конференция Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ИО (1) Свободны: ИО (1)

004/S46         Semantics of Specification Languages(So SL).Proceedings of the International Workshop,Ultrecht,1995 [Text] / D.J.Andres etc.(Eds.). - London;Berlin etc. : Springer, 1994. - VIII,355 p. - (Workshop in Computing). - ISBN 3-540-19854-7 : Б. ц. ГРНТИ 50.05.09 00.13 УДК 004.43(063) Рубрики: Языки программирования ЭВМ Кл.слова (ненормированные): Семантика -- Труды -- Семинар Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ИО (1) Свободны: ИО (1)