| Бесплатно скачиваем книжную новинку Model Checking. Верификация параллельных и распределенных программных систем созданную автором Ю. Г. Карпов . Это прекрасная возможность с головой окунуться в привлекатальный мир творческой фантазии. После прочтения электронной книги нужно либо купить бумажный оригинал, либо удалить электронную версию. | Приключенческая литература |