Полное описание
> Карпов, Ю. Г. Model checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов. - СПб. : БХВ-Петербург, 2010 (СПб.). - 551 с. : ил. - Библиогр.: с. 535-546 (196 назв.). Предм. указ.: с.547-551. - 1000 экз. - ISBN 978-5-9775-0404-1. - Текст : непосредственный.
Приложение:
Сопроводительный материал :ОДМ/1738 (электрон. опт. диск (CD-ROM)-пнт)
ГРНТИ | УДК | |
50.05.13 | 004.415.5 |
Рубрики:
Программы для ЭВМ -- Верификация
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-10/47683)>
Шифр в сводном ЭК: ee91757e4518729fc9bcde0ff9658dfe
Заказ фрагмента документа ₽