расширенный поиск

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

Товар № 10260656
Автор: Кларк Э.М.
Издательство: Весь Мир
Вес: 0.630 кг.
Год издания: 2007
Формат: 17x11,5x1,5 см
Страниц: 160
Товар отсутствует
Узнать о поступлении

Читать далее