Каталог / Наука и техника / Математика / Кларк Э. М., Грамберг мл. О., Пелед Д. / Верификация моделей программ: Model checking

Кларк Э. М., Грамберг мл. О., Пелед Д. / Верификация моделей программ: Model checking

(0/0)

Артикул: 7140

Нет в наличии Товара временно нет на складе!
Сообщить когда будет в наличии.

Год: 2002 г.

ISBN: 5-94057-054-2/5940570542

Издательство: МЦНМО

Переплёт: Твердый

Страницы: 416 с.

Состояние: Книга новая

Место издания: М.

Еще никто не оставил отзыв. Вы можете быть первым!

Сайт