Мир вокруг нас полон тайн и чудес, а человека всегда влекло необъяснимое и неизведанное… Удивительные факты, поразительные загадки, потрясающие открытия и самые смелые гипотезы – для всех, кто ищет истину!

Мир вокруг нас полон тайн и чудес, а человека всегда влекло необъяснимое и неизведанное… Удивительные факты, поразительные загадки, потрясающие открытия и самые смелые гипотезы – для всех, кто ищет истину!

Model Checking. Верификация параллельных и распределенных программных систем — В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях.

Каторга-12 — советский научный центр, расположенный на небольшом острове у побережья Камчатки. В результате неудачного эксперимента остров попал во временную ловушку и теперь постоянно перемещается между 1950 и 2010 годами.