The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called «abstract interpretation» currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples).

зарубежная компьютерная литература

программирование

Static Analysis of Software. The Abstract Interpretation

Safety Management of Software-based Equipment

Formal Methods Applied to Industrial Complex Systems

Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method

Industrial Use of Formal Methods. Formal Verification

Formal Methods. Industrial Use from Model to the Code

Safety of Computer Architectures

CENELEC 50128 and IEC 62279 Standards

современная русская литература

современные любовные романы

современная зарубежная литература

книги о приключениях

учебники и пособия для вузов

стихи и поэзия

русская классика

мистика

любовное фэнтези

биографии и мемуары

современные детективы

короткие любовные романы

сказки

попаданцы

литература 19 века

научная фантастика

саморазвитие / личностный рост

триллеры

публицистика

зарубежная классика

В книге представлен подробный астрологический прогноз на каждый день для представителей солнечного знака Водолей. Прогноз составлен астрологом с более чем 20-летним опытом и подойдет профессионалам и любителям - всем будет верным помощником в ежедневных делах. Отличительная особенность прогноза - ежедневный расчет информации про Луну в знаках зодиака, периоды Луны без курса, ретроградность, ингрессии планет в новые знаки. Взяв Солнце, Луну и планеты в помощники, вы сможете наполнить вашу жизнь радостью и счастьем, избежать ненужных стрессов и обрести уверенность в себе.

практическая эзотерика

спиритизм / пророчества / предсказания

эзотерика / оккультизм

Водолей. Гороскоп на каждый день. 2025 год

Однажды мальчик по имени Дима остался дома один. И тут произошло нечто неожиданное.

боевая фантастика

героическая фантастика

детективная фантастика

Zerendo и орден белого дракона

Древнее существо ждёт воскрешения. Маленькая девочка и её верный друг черно-бурый лис ведут поиски этого древнего зла. Чтобы навсегда избавить от него родную землю.

ужасы

историческое фэнтези

Марун

Продолжение истории Леры и Даниила. Они были лучшими друзьями, их отношениями близким нет предела.

общая психология

пьесы и драматургия

Асутару но Кису

Данное произведение является фантазией Автора и не более того. Читая его, представьте, что вы читаете взрослую сказку.
Всё равно большинство не поймут, но тот, кто ищет ответы о людях, вселенной, Боге и смысле жизни, а также о внутреннем мире человека. Рекомендуется к прочтению! Тут есть ответы на многие вопросы, но у прочитавших данное творение, может появиться много вопросов!

современные религиозные течения

духовная литература

Кровь Адама

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

здоровье

Такая разная поздняя беременность

В книге описывается жизнь и работа главного героя в московском рекламном агентстве. Он сталкивается с трудностями и неудачами в своей карьере, а также с неожиданными предложениями от своего начальника, которые могут кардинально изменить его жизнь. Герой оказывается в центре мира рекламы, где деньги текут широкими реками, а правила игры меняются ежедневно. Он должен найти свой путь в этой индустрии, полной интриг, конкуренции и неожиданных поворотов. Книга погружает читателя в атмосферу Москвы середины девяностых, где западные компании только начинают осваивать российский рынок, а рекламные агентства становятся эпицентрами новой медиаиндустрии.

любовь и отношения

Все под контролем

Полная версия

Static Analysis of Software. The Abstract Interpretation

Другие книги автора