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

Карпов, Ю. Г. Model checking. Верификация параллельных и распределенных программных систем / Ю. Г. Карпов. - СПб. : БХВ-Петербург, 2010 (СПб.). - 1 электрон. опт. диск (CD-ROM). - Систем. требования: операц. система Microsoft Windows 2000/ХР/Vista ; процессор Pentium 700 Мгц ; 512 Мб оператив. памяти ; мышь. - Загл. с этикетки диска. - Текст : электронный.
Издание является приложением к документу:
Model checking. Верификация параллельных и распределенных программных систем. -2010. Шифр Ж2-10/47683

ГРНТИ	УДК
50.05.13	004.415.5(086.82)

Рубрики:
Программы для ЭВМ -- Верификация

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

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