Полное описание
> Верификация автоматных программ / С. Э. Вельдер [и др.]. - СПб. : Наука, 2011 (СПб.). - 242 с. : ил. - Библиогр.: с. 231-239 (99 назв.). Алф. указ.: с. 240-242. - 250 экз. - ISBN 978-5-02-038160-5. - Текст : непосредственный.
В надзаг.: С.-Петерб. гос. ун-т информ. технологий, механики и оптики.
ГРНТИ | УДК | |
50.05.13 | 004.415.5 |
Рубрики:
Программы для ЭВМ -- Верификация
Доп. точки доступа:
Вельдер, С.Э.
Лукин, М.А.
Шалыто, А.А.
Яминов, Б.Р.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-11/51056)>
Шифр в сводном ЭК: e3aed75da7421a378d4055630be49aa8
Заказ фрагмента документа ₽