Полное описание

Logic-based program synthesis and transformation : 9th intern.workshop on logic-based program synthesis and transformation, Venice, Sept.22-24, 1999: Proc. / LOPSTR'99. - Berlin [etc.] : Springer, 2000. - VIII,312 p. p. : ill. - (Lecture notes in computer science, ISSN 0302-9743 ; vol.1917). - ISBN 3-540-67628-7. - Текст : непосредственный.
Библиогр.в конце ст. Указ.в конце кн.

ГРНТИ	УДК
50.05.13	004.42(063)
27.03.19	510(062)

Рубрики:
Программирование для ЭВМ -- Съезды и конференции
Математическая логика -- Съезды и конференции

Доп. точки доступа:
Bossi, A.\ed.\

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9132/1917)

Шифр в сводном ЭК: 4d4e7862b36507e0e7cebbec2b040165

Заказать
Заказ фрагмента документа ₽