Скачать Верификация моделей программ Model Check Э М Кларк О Грамберг Д Пелед бесплатно
Автор
|
Э. М. Кларк, О. Грамберг, Д. Пелед
|
Наименование
|
Верификация моделей программ. Model Checking
|
Издательство
|
МЦНМО
|
Аннотация
|
Издательсво МЦНМО снова порадовало
наше общество выпуском отменной книги Верификация моделей программ. Model Checking.
Из нее можно узнать про то, как В монографии всемирно известных специалистов в области математической
огики и теории вычислений представлено полное и подробное .
В этом произведении очень хорошо написан текст.
Часто появляется желание еще раз пролистать эту книгу.
Смотри Free Download. Но, бумажную книгу все-таки читать приятнее, чем электронный файл.
Сага о Берсеркере
|
Формат
|
Электронная книга в формате chm
|
Анонс
|
Ссылка на скачивание книги (пока недоступна)
|
Помощь
|
Как скачать книгу бесплатно
|
|
Литература для всех:
Как зарегистрироваться на сайте
|