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

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

фэнтези

учебная и научная литература

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

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

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

детективы

об истории серьезно

приключения

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

ужасы / мистика

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

cтихи, поэзия

книги по психологии

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

гуманитарные и общественные науки

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

мистика

боевики, остросюжетная литература

публицистическая литература

Что делают врачи в опасное для человечества время? В профессиональной жизни – чудеса. Чтобы спасти людей. В личной – ошибки. Потому что врачи и сами – люди. А еще эти люди делают друг друга несчастными и счастливыми. Потому что умеют любить. Чудес ведь без любви не бывает. Да, Вселенная? 

Вселенная вас услышала

В захватывающей атмосфере, сочетающей в себе тайну и приключения, «Тайна древнего артефакта» погружает нас в самое сердце захватывающей исторической загадки.

Когда историк и путешественник Этьен Берже обнаруживает металлический ящик, украшенный забытыми надписями, он и не подозревает, что только что заполучил в свои руки секрет, способный изменить историю. Преследуемый тайными обществами, готовыми на все, чтобы завладеть артефактом, он начинает лихорадочную гонку, расшифровывая подсказки и древние рукописи.

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

Увлекательный роман, сочетающий в себе напряжение, исторические откровения и познавательный квест, идеально подходит для любителей приключений и вековых тайн.

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

триллеры

Тайна древнего артефакта

Книга "Ислам: Разоблачение мифов и заблуждений" направлена на опровержение самых распространённых мифов и ложных стереотипов об исламе. Автор, Усман ибн Адам, с помощью достоверных хадисов, исторических фактов и научных исследований развеивает заблуждения, связанные с исламом, и объясняет истинную сущность религии мира и справедливости. В книге разобираются такие темы, как права женщин в исламе, джихад, ЛГБТ-сообщество, западные ценности и отношения ислама к науке и прогрессу. Автор также подчёркивает важность правильного понимания исламских учений, опираясь на жизненный опыт Пророка Мухаммада (мир ему и благословение Аллаха) и его сподвижников. Это произведение предназначено для тех, кто хочет разобраться в сути ислама, а также для тех, кто ищет ответы на распространённые вопросы и заблуждения об этой религии.

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

Ислам / мусульманство

молитвы в исламе

Ислам:Разоблачение мифов и заблуждений

Вы уверены, что находитесь именно там, где вам предназначено быть? Что скажете, если открою вам тайну — существуют другие миры, параллельные нашему, такие же настоящие, полные собственных деталей и эмоций. Но одно остается неизменным повсюду — человеческие чувства.

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

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

Иное

Максим — обычный офисный работник, чья жизнь меняется в один момент, когда он приобретает PiD — революционную нейроигровую систему. Она не просто создаёт виртуальную реальность, а полностью переносит сознание в другой мир, где всё кажется настоящим: песок под ногами, солёный ветер и даже магия, подчиняющаяся мыслям.

Но когда Максим соглашается протестировать новый квест, границы между игрой и реальностью начинают стираться. Оказывается, PiD скрывает куда больше, чем обещала реклама. Теперь ему предстоит разобраться в правилах чужого мира, где каждая ошибка может стать роковой, а доверять нельзя даже собственным ощущениям.

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

попаданцы

любовно-фантастические романы

Играющие во снах. Староверы. Книга 1

Бизнесмен скрывается от преследователей в заброшенном пионерском лагере. Когда он был ребёнком, там произошло нечто страшное. А сейчас помощь приходит с неожиданной стороны.

ужасы

Дама червей

В мрачной ночи, окутанной тайной, Анна решает разгадать загадку заброшенного театра, слыша загадочные звуки из своего окна. Входя в мрачные коридоры, она сталкивается с призраками ушедших актеров, которые оживляют забытые истории. Эти встречи открывают ей не только тайны театра, но и ее собственные переживания и страхи.

С каждым шагом Анна чувствует, как становится частью их мира и, наконец, осознает, что их истории и ее жизни переплетены. Это путешествие приводит к неожиданным открытиям о себе и своем месте в жизни, в которой она—не просто зритель, а активный участник.

«Призрачная амфибия» — это история о самопознании и силе искусства, о том, как каждый может стать автором своей судьбы, открывая свое сердце и искренне делясь своими переживаниями. Приглашаем вас в увлекательное путешествие, где свет и тьма объединяются, создавая новую реальность.

кинематограф / театр

классическая проза

Искры вдохновения

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

Static Analysis of Software. The Abstract Interpretation

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