Верификация моделей программ: Model Checking: Монография: Пер. с англ./

Верификация моделей программ: Model Checking: Монография: Пер. с англ./

Bibliographic Details
Main Authors: Кларк младший Эдмунд М. (Author), Грамберг Орна (Author), Пелед Дорон (Author)
Other Authors: Захаров, В. (Translator), Кончаков, Р. (Translator), Царьков, Д. (Translator), Смелянский, Р.
Format: Book
Published: М.: МЦНМО 2002
Subjects:
МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
верификация моделей
модели
Model Checking
контроль программ
АВТОМАТИЗАЦИЯ
Online Access:Перейти в каталог Библиотеки ТУСУР
Description
Physical Description:416 с.: a-ил
Bibliography:Библиогр.: с. 377-399. -Предм. указ.: с. 400-416
ISBN:5940570542

Similar Items