Книга
Тип экземпляра:
Книга
Верификация моделей программ: Model Checking / Кларк Эдмунд М. (мл.), Грамберг Орна, Пелед Дорон; Захаров В. (пер. с англ.) и др.; Смелянский Р. (ред. пер.)
Выходные данные: Москва: Изд-во Моск. центра непрерыв. мат. образования, 2002Физическая характеристика: 416 с. илISBN:- 5-94057-054-2
| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код |
|---|---|---|---|---|---|
| Книга | Институт прикладной математики им. М.В. Келдыша | 518.74/К-47 | Доступно |
Библиогр. : с. 377-399.
Предм. указ. : с. 400-416
Пер. изд. : Model Checking / Clarke Edmund M. (jr.), Grumberg Orna, Peled Doron Cambridge (Mass.); London, Cop. 1999.