|
Автор
|
Ю. Г. Карпов
|
|
Название
|
Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)
|
|
Издательство
|
БХВ-Петербург
|
|
Аннотация
|
Ожидаемое произведение под названием Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)
от трудолюбивого автора Ю. Г. Карпов.
Из этой книги мы узнаем о том, что В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях.
.
Книга написана возвышенно и профессионально.
В этой книге автор проявил все свои интеллектуальные возможности.
Зачительное произведение!
Тараканы с острова Мадагаскар. Опыт успешного содержания и разведения в домашних условиях
|
|
Формат
|
Электронная книга в формате chm
|
|
Анонс
|
Ссылка на скачивание книги (пока недоступна)
|
|
Помощь
|
Как скачать книгу бесплатно
|
