• ВХОД
  •  

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

    Bloom, S. L. Iteration theories : the equational logic of iterative processes / S.L.Bloom,Z.@wEsik. - Berlin [etc.] : Springer , 1993. - XV,630 p. p. : ill. - (EATCS monographs on theoretical computer science). - ISBN 3-540-56378-4. - Текст : непосредственный.
    Библиогр.:с.621-630.Указ.:с.615-620

    ГРНТИ УДК
    50.05.03510

    Рубрики:
    Математическая логика -- Применение в вычислительной технике

    Доп. точки доступа:
    Esik, Z.

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

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



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