Варификация моделей программ: Model checking

Код: 136818
Автор: Кларк Э.М. Мл., Грамберг О, Пелед Д. →
Издательство: МЦНМО (Пиксел) →
ISBN: 5-94057-054-2
Страниц: 416
Вес: 0.5 кг
Год издания: 2002
Переплет: мягкий