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 века

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

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

триллеры

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

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

Двадцать пять лет назад пошёл дождь, который изменил мир до неузнаваемости.Те, чья кожа соприкоснулась с каплями дождя, рухнули замертво, чтобы потом подняться и превратится в чудовищ.
Я не застала мирное время, так как родилась всего девятнадцать лет назад и всю жизнь прожила на военной базе, но уверена, что оно было лучше, чем то, что мы имеем сейчас. С двенадцати лет меня учили сражаться и выживать. Но я поняла, что этого чертовски мало, когда оказалась за стеной, сбежав с базы. Корпорация "Рэйнкорп" что-то активно ищет, а скорее - кого-то. Под личиной медицинского  центра, что заботиться о выживших, скрываются чудовища не лучше мутантов. Они ищут одарённых, и я одна из них. У меня удивительно бесполезный дар. Я вижу чувства и эмоции людей. Эта способность никак не поможет мне выжить, но она удивительна.
Зачем я нужна "Рэйнкорп"? Много таких одаренных, как я? Как выжить? Куда идти? Столько вопросов и без ответа. Но это пока. После дождя появляется радуга, и я обязательно её увижу.

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

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

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

После дождя. Книга 1

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

детская проза

Волшебные сказки о феях

Колхозное поле, село, старое кладбище, скрипят кладбищенские ворота, конец 1990-х, дует ветер, кто-то умирает... Всë проходит - слова Соломона.

контркультура

Печаль полей

Главному персонажу предстоит узнать мир. Понять, кто он и как сюда попал. Он знает одно - он охотник. Но не живя по правилам мира, он не сможет достичь своих целей. А правило всего одно - развивайся! Именно этим и займется герой. Развивая свои характеристики и умения, он станет сильнее. Он станет ходить на миссии, заводить и терять друзей и возможно встретит свою любовь. Всё будет просто, пока он не начнёт вспоминать. Мир на столько таинственный, начиная от горожан городов и заканчивая обитателями различных локаций. Мир, где охотник легко становится жертвой. Мир, где жертва в секунду может стать охотником. Мир, где люди не только помогают друг другу, но и убивают. Сможет ли узнать главный герой - зачем он здесь? И кто же стоит за всеми ответами?

ужасы

Мир зомби

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

Курочка и её цыплята

Не думала, что когда-то попаду в такую ситуацию. Брат поднял восстание и убил отца, а потом в качестве награды отдал меня своему другу и соратнику. Ещё и магические кандалы удерживают моего демона.
Сможем ли мы избавиться от оков? Сможем ли противостоять сильным противникам, что жаждут уже не только тело и душу? Есть ли хоть одно существо, способное нам помочь?

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

Демонёнок внутри

В данном произведении описан небольшой промежуток времени, который провели в тайге два случайно встретившихся человека – девушка и юноша. С разными судьбами, целями в жизни, отношением к жизни. Возникшее между ними чувство притяжения не имеет никаких шансов на продолжение. Любовь в данном случае не имеет права на существование. Или все-таки имеет?
Действие происходит в семидесятые годы прошлого века. Как в то далекое от нас время относились молодые люди к любви,  долгу,  истории, к своей стране? Как они жили? Что делали? Что они думали? 
За четыре дня знакомства наши герои много говорили об этом.

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

историческая литература

Незапланированный маршрут

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

Static Analysis of Software. The Abstract Interpretation

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