В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов...
В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети».
"Евгений Водолазкин — прозаик, филолог. Автор бестселлера "Лавр" и изящного historical fiction "Соловьев и Ларионов". В России его называют "русским Умберто Эко", в Америке — после выхода "Лавра" на английском — "русским Маркесом". Ему же достаточно быть самим собой. Произведения Водолазкина переведены на многие иностранные языки. Герой нового романа "Авиатор" — человек в состоянии tabula rasa: очнувшись однажды на...
В 2020–2023 годах в мире произошло столько же успешных военных переворотов, сколько за все предыдущее десятилетие. Надежды на глобальную демократизацию не оправдались. Ослабление международных институтов, внутриполитические кризисы, экономические трудности и недовольство населения создают почву для прихода к власти военных режимов. Распространение военных режимов, если оно будет продолжаться,...
Издательство:
Альпина Паблишер
Дата выхода: июнь 2025
Мы привыкли ходить протоптанными дорожками и бояться сделать лишний шаг в сторону. Работаем на нелюбимой работе, остаемся в абьюзивных отношениях, пытаемся всегда быть удобными. Почему мы не видим возможности жить по-другому? Эта книга рассказывает, как найти настоящего себя и научиться видеть возможности, которые дает нам жизнь. Благодаря знакомству с разными культурами и проведению социальных...
- Четвертая книга совместной серии сервиса Яндекс Книги и «Редакции Елены Шубиной». Сначала фантастический роман вышел в формате книжного сериала в 12 эпизодах с озвучкой Сергея Гилева. Теперь очередь бумажной версии. - Шамиль Идиатуллин — журналист и писатель, работающий в разных жанрах. Дважды лауреат «Большой книги»: «Город Брежнев» (2017) и «Бывшая Ленина» (2020), лауреат «Новых горизонтов» («Убыр», 2013). ...
Новый роман Дины Рубиной отправит читателя в путешествие по советской Астрахани, Польше и военной Бухаре. «Мальчики» — интригующая завязка большой авантюрной истории «Дизайнер Жорка». В доме десятилетнего Ицика на разные голоса отсчитывают время 387 часов. Уникальную коллекцию начал собирать дед мальчика, а затем продолжил отец — оба искусные часовщики. Убегая от гитлеровского нашествия, семья...
«Грузовик и прицеп едут в командировку» — вторая история про полюбившихся всем малышам героев книги «Это грузовик, а это прицеп» молодой писательницы Анастасии Орловой, победительницы конкурса «Новая детская книга». Грузовик и прицеп снова отправляются в путь! На этот раз они едут в город, в командировку. Впереди длинная дорога, соревнования с джипом, встреча с миленькой розовой машинкой и...
Оставить комментарий