Полностью окунаемся в мир книги Model Checking. Верификация параллельных и распределенных программных систем. Созданную талантливым автором Ю. Г. Карпов. И этим полностью оправдал самые смелые ожидания поклонников своего таланта. Множество мелких ньюансов более четко прорисовывается при изучении книги: Твин Пикс Twin Peaks. Жгут. Желаем вам приятного времяпрепровождения.     Приключенческая литература