Abstraction, Refinement and Proof for Probabilistic Systems

Уважаемые читатели, искренне надеемся, что книга "Abstraction, Refinement and Proof for Probabilistic Systems" McIver Annabelle (EN) окажется не похожей ни на одну из уже прочитанных Вами в данном жанре. Темы любви и ненависти, добра и зла, дружбы и вражды, в какое бы время они не затрагивались, всегда остаются актуальными и насущными. Развязка к удивлению оказалась неожиданной и оставила приятные ощущения в душе. Попытки найти ответ откуда в людях та или иная черта, отчего человек поступает так или иначе, частично затронуты, частично раскрыты. Портрет главного героя подобран очень удачно, с первых строк проникаешься к нему симпатией, сопереживаешь ему, радуешься его успехам, огорчаешься неудачами. Одну из важнейших ролей в описании окружающего мира играет цвет, он ощутимо изменяется во время смены сюжетов. Захватывающая тайна, хитросплетенность событий, неоднозначность фактов и парадоксальность ощущений были гениально вплетены в эту историю. Отличный образец сочетающий в себе необычную пропорцию чувственности, реалистичности и сказочности. Место событий настолько детально и красочно описано, что у читающего невольно возникает эффект присутствия. Казалось бы, столь частые отвлеченные сцены, можно было бы исключить из текста, однако без них, остроумные замечания не были бы столь уместными и сатирическими. Автор искусно наполняет текст деталями, используя в том числе описание быта, но благодаря отсутствию тяжеловесных описаний произведение читается на одном выдохе. "Abstraction, Refinement and Proof for Probabilistic Systems" McIver Annabelle (EN) читать бесплатно онлайн можно с восхищением, можно с негодованием, но невозможно с равнодушием.