Лучшие книги года

Скачайте Model Checking. Верификация параллельных и распределенных программных систем

Автор Ю. Г. Карпов
Название Model Checking. Верификация параллельных и распределенных программных систем
Аннотация Наконец то можно взять в руки чудесное издание Model Checking. Верификация параллельных и распределенных программных систем. Книга создана на совесть Ю. Г. Карпов. Необходимо отметить, что написана она взволнованно и трагически. В этом явно что-то есть! При чтении книги погружаемся в волнующий и интригующий мир. Ведь внимание читателя захватывает напряженная интрига. И уже не остается равнодушных. Творческая работа для широких масс. Скорейшее развитие событий неизбежно. Иерархия. Отдохнем с книгой в дороге.
Скачать Скачать книгу
Открыть Читать на сайте

Знакомые персонажи: