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

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

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

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

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

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

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

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

мистика

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

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

книги по экономике

газеты

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

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

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

сказки

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

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

политология

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

Публикация посвящена подготовке к 1700-летнему юбилею Первого Вселенского собора православной церкви и последующего Обретения Святого Креста.

Им не отменить наш праздник

- Она же почти твоя крестница, Денис! 
Ужас, в котором я пребываю, невозможно описать словами. 
- Почти не считается, Надя, - пожимает плечами муж. 
- Ты уже старая, сама говорила. А мне всего двадцать. И родить я еще смогу хоть десятерых. 
Та самая «почти крестница», дочь друга семьи, которая росла на наших глазах, кладёт одну руку на плечо моего мужа, а вторую - на свой плоский живот. 
- И наш с Дэнни первенец появится на свет через пять месяцев, - продолжает как ни в чём не бывало.
Только теперь я замечаю, что Вероника немного поправилась. Они что, привезли этого ребенка из той длительной командировки, в которую уезжал Денис полгода назад? 
И неужели отец Вероники в курсе? 

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

Я хочу её давно

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

Будет ли она способна принять своё прошлое, осознать свои эмоции и научиться жить в настоящем? Может ли реальная любовь стать для неё спасением, если она так долго пряталась от мира? 

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

Тени долгих иллюзий. Часть II

Мир на грани исчезновения. И снова эти учёные, горе-эксперинтаторы, начудили... и пробудили дремавшую в ледниках миллионы лет, заразу. Люди превращаются в зомби с отличным пищеварением и зверским аппетитом. В бой с нечистью вступают инвалиды, малолетняя девушка и парнишка, умеющий только нажимать на клавиатуру и "мышь"... Неожиданный поворот жанра и философская подоплёка автором гарантирована.  

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

социальная фантастика

Перемазанные

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

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

домашние животные

Гаврик

Дневник семилетнего мальчика, который переживает развод родителей. Ребенок одинок в этой ситуации. И вот он сначала заводит дневник, в котором в записях обращается к отцу, а затем и к кукле, которую увидел в магазине.

Кукла (дневник судьбы)

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

всемирная история

Вдохновение эпохи: великие открытия 19 века

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

Static Analysis of Software. The Abstract Interpretation

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