Верификация моделей программ= Model Checking /

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

Ամբողջական նկարագրություն

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Кларк, Эдмунд М., мл
Այլ հեղինակներ: Грамберг, Орна, Пелед, Дорон, Захаров, В. (Թարգմանիչ, Խմբագիր, ред.)
Ձևաչափ: Գիրք
Լեզու:Russian
English
Հրապարակվել է: Москва : Изд-во Моск. центра непрерыв. мат. образования, 2002.
Խորագրեր:
Вычислительная техника > Вычислительные машины электронные цифровые
Программирование
Автоматизация
Верификация систем программирования
Верификация моделей программ
Параллельные системы с конечным числом состояний
Модели в темпоральной логике
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
Նկարագրություն
Ամփոփում:В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Ֆիզիկական նկարագրություն:416 с. ил.
Մատենագիտություն:Библиогр.: с. 377-399
ISBN:5940570542

Նմանատիպ նյութեր