В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов...
В книге рассматривается автоматное программирование – подход к разработке программных систем со сложным поведением, основанный на модели автоматизированного объекта управления (расширении конечного автомата). Предлагаемый подход позволяет создавать качественное программное обеспечение для ответственных систем, охватывая все этапы его жизненного цикла и поддерживая его спецификацию, проектирование, реализацию, тестирование, верификацию и документирование. Книга предназначена для специалистов в области программирования, информатики, вычислительной техники и систем управления, а также аспирантов и студентов, обучающихся по специальностям «Прикладная математика и информатика», «Управление и информатика в технических системах» и «Вычислительные машины, системы, комплексы и сети».
Природа, как говорят, приглашает нас к столу с помощью аппетита и вознаграждает вкусом. Но что именно представляют собой вкусы? Почему одни из них нам приятны, а другие нет? «Происхождение вкусов» — в высшей степени увлекательное погружение в наваристую гущу этих вопросов. Щедро сдобрив повествование столовыми ложками искренности и остроумия, Роб Данн и Моника Санчес предлагают...
Издательство:
Альпина Паблишер
Дата выхода: ноябрь 2024
Вскоре после выхода первого издания в 1991 году книга "Программирование на Perl" стала считаться неоспоримой библией по языку Perl и продолжает оставаться основным руководством по этому весьма практичному языку. Язык Perl начал жизнь в роли мощного средства обработки текста, но быстро превратился в универсальный язык программирования, который помогает сотням и тысячам программистов, системных...
Начало двадцатого века. Эпоха противоречий. Принять новое время и отказаться от своих привычек – для многих это оказывается невозможным. В модном и загадочном отеле "Гранд Нуар" совершается убийство поэта, по которому сходят с ума все женщины эпохи и сама эпоха. Кто же стрелял – любимая женщина, ревнивый муж или поклонники? Отважный метрдотель отправляется в 20 век, чтобы раскрыть это преступление. *** -...
Молодой корреспондент Дмитрий Холодов погиб на рабочем месте от взрыва мины-ловушки 17 октября 1994 года. Эта книга — личный проект писательницы Евгении Некрасовой, которая выросла в одном городе с Холодовым и училась в той же школе, что и он. Она возвращается к хроникам девяностых, общается с коллегами Дмитрия и рассуждает, как фигура Холодова повлияла на ее понимание свободы. Документальный...
Издательство:
Поляндрия NoAge
Дата выхода: март 2025
Уральская готика от Алексея Иванова Железные души и демоны доменных печей Герой романа — основатель уральской горнозаводской промышленности *** Для Акинфия Демидова, знаменитого заводчика, 1735 год оказался самым трудным. Семью раздирала вражда, доходившая до смертоубийств. Казённое следствие по недоимкам грозило разорением, и не рассеялись подозрения, что Демидов чеканил фальшивые деньги....
Издательство:
Альпина Паблишер
Дата выхода: ноябрь 2025
Ленинград — родной город Виктора Цоя. Здесь он родился, вырос, стал музыкантом. В этой книге мы как бы идем вслед за Виктором по Ленинграду 1960–1980-х гг. Вот юный Виктор выходит из дома на Бассейной улице и направляется в школу, вот репетирует вместе с Алексеем Рыбиным в "хрущёвке" на проспекте Космонавтов, вот внимательно слушает преподавателя астрономии в ПТУ на улице Стойкости, вот гуляет с семьей по...
Оставить комментарий