• ВХОД

    •  

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

    R/9132/1917
     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 : 1234.43 р. - Текст : непосредственный.
    Библиогр.в конце ст. Указ.в конце кн.
    ГРНТИ УДК
    50.05.13004.42(062)
    27.03.19510(062)

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

    Доп. точки доступа:
    Bossi, A.\ed.\
    Экз-ры полностью R/9132/1917
    Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
    Свободны: ПНТ (1), (2)
    Копия:



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