• ВХОД
  •  

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

    Ковалев, А. В. О верификации ПРАЛУ-алгоритмов с помощью моделирующих сетей Петри / А.В.Ковалев. - Минск : [б. и.], 1990. - 30 c. : ил. - ; N20. - 200 экз. - Текст : непосредственный.
    Библиогр.: с. 28-29 (17 назв.)

    ГРНТИ УДК
    50.43681.5(04)

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

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



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