Скачать Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) бесплатно Ю. Г. Карпов

Скачать бесплатно книги

Скачать Model Checking Верификация параллельных и Ю Г Карпов бесплатно

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

В Н И М А Н И Е :
Где скачать торрент книги