Санкт-Петербург, ИИМК РАН (2005)
Состояние: Очень хорошее
Артикул: 51092
Код в каталоге: № 44426
Автор: | Кларк Э.М., Грамберг О., Пелед Д. |
Издательство: | Издательство Московского центра непрерывного математического образования |
Год выпуска: | 2002 |
Состояние: | Очень хорошее |
Место издания: | Москва |
Количество страниц: | 416 |
Переплет: | Твердый |
Формат: | Обычный |
ISBN: | 978-5-94057-054-7 |
Нет в наличии
Купить книгу «Верификация моделей программ. Model Checking» Кларк Э.М., Грамберг О., Пелед Д. 2002 года
в книжном интернет-магазине с доставкой по оптимальной цене.
Если данной книги Верификация моделей программ. Model Checking 978-5-94057-054-7 нет в наличии, то вы можете оставить на нее заявку.
При появлении этого букинистического издания в продаже, вы получите об этом уведомление по sms и email.