• ВХОД

    •  

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

    Refinement workshop (4 ; 1991 ; Cambridge,Ma.). Proceedings of the 4th Refinement workshop,9-11 Jan.1991,Cambridge / Refinement workshop (4 ; 1991 ; Cambridge,Ma.) ; Ed.: Morris J.M., Shaw R.C. - London [etc.] : Springer, 1991. - VIII,478 p. p. : ill. - (Workshops in computing). - ISBN 3-540-19657-9. - Текст : непосредственный.
    Библиогр.в конце статей.Указ.в конце книги
    Перевод заглавия: Труды 4-го семинара по методам уточнения,Кембридж,1991

    ГРНТИ УДК
    50.39004.7(063)

    Рубрики:
    Вычислительные системы -- Съезды и конференции

    Доп. точки доступа:
    Morris J.M.\ed.\
    Shaw R.C.\ed.\

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

    Шифр в сводном ЭК: 1506432027b633a95afdd4014fe81579



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