Верификация моделей программ: 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:Перейти в каталог Библиотеки ТУСУР

Internet

Перейти в каталог Библиотеки ТУСУР

Similar Items