КД-2862    32.9    К 26     Карпов, Юрий Глебович.     MODEL CHECKING. Верификация параллельных и распределённых программных систем [Электронный ресурс] / Юрий Глебович Карпов . - Санкт-Петербург : БХВ, 2010. - 1электрон. опт. диск(CD-ROM). - Прил. к одноимен. кн. - 20 грн.ББК 32.973.26-018.2 Держатели документа: Миколаївська Обласна Універсальна Наукова бібліотека ім. О. Гмирьова ВПНД Свободных экз. нет