Книги, игрушки, всё для дома, семена wwww4.com интернет магазин
Книги, игрушки, всё для дома, семена

   Исключить отсутвующие книги
Как похудеть

КНИГИ

Проектирование ИС

Управление проектами и эксплуатация ИС

Информационная безопасность

Информационные технологии. Компьютеры


телефон (495)109-01-54 (495)
109 01 54


способы оплаты

Доставка от 0 руб,
почтой, курьером,
пункты выдачи
в городах России




Стандартизация услуг
Достаточный уровень стандартизации процесса формирования информационной базы экспертного исследования на базе check-листов позволяет говорить о возможности частичной автоматизации данного процесса. Таким образом, стандартизация процесса формирования информационной базы эксперт-ного исследования способна сократить сроки проведения правового аудита, снизить его себестоимость для консалтинговой компании и сохранить при этом высокий уровень профессионального исполнения. Применение check-листов при проведении процедур правового аудита позволяет консалтинговой компании предложить участникам инвестиционных процессов высококачественную «стандартную» услугу по подготовке и проведению Legal Due Dilige ce в сфере обращения коммерческой недвижимости, и, что не мало важно, по конкурентной цене.
...

Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) Карпов Ю.Г. БХВ-Петербург 2010


разместить на форуме

Автор:Карпов Ю.Г.
Издательство:БХВ-Петербург
Год:2010
Цена:
575 рубтвердый переплет
Формат 240x166x27 см
Cтраниц 560
Аннотация:В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. Для студентов вузов, программистов и исследователей в области информатики. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий.
найти похожие
временно отсутсвует
в продаже

Маска для сна с "памятью" "Морфей".
Маска для сна «Морфей», сделанная из мягкого и гипоаллергенного материала, защитит глаза от света, препятствующего нормальному сну.
473 руб
Раздел: Дорожные наборы
Горшок дорожный и насадка на унитаз "HandyPotty".
Дорожный горшок и насадка на унитаз HandyPotty помогут сделать путешествие еще комфортнее для малыша. Комбинированная модель сочетает в
1128 руб
Раздел: Сиденья

ИП БАЙДИМИРОВ КОНСТАНТИН АЛЕКСАНДРОВИЧ ОГРН 304246536100619 ИНН 246504450850 КПП 246500000 СВ-ВО 24 000675526 от 27/02/2002 Р/С 40802810900200001155 К/С 30101810100000000787 БИК 044525787 ОАО «УРАЛСИБ» Г. МОСКВА 107023 Москва, ул Малая Семеновская 3. Почтовый адрес 107023 Москва-23 а/я 17

телефон (495)109-01-54 (495) 109 01 54

wwww4.com Интернет магазин книги почтой