Статьи

IT-менеджмент (62)
Базы данных (150)
Графика (34)
Звук (4)
Интернет (427)
Искусственный интеллект и экспертные системы (7)
Компьютерная безопасность (109)
Методология (96)
Операционные системы и сети (530)
Разработка программ (96)
Справочники и энциклопедии (90)
Технологии (83)
Устройство компьютера, "железо" (222)
Языки программирования (298)

MODEL СHECKING. Верификация параллельных и распределенных программных систем

В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях.