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

Formal Methods. Industrial Use from Model to the Code

Safety of Computer Architectures

Industrial Use of Formal Methods. Formal Verification

CENELEC 50128 and IEC 62279 Standards

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

Safety Management of Software-based Equipment

Formal Methods Applied to Industrial Complex Systems

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

фэнтези

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

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

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

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

детективы

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

приключения

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

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

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

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

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

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

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

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

мистика

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

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

Ты с рожденья выбран свыше.
Миру твой удел - нести добро,
 Зверя падшего сжигая зло.
Быть учеником тебе отныне!


сказки

Жизнь и приключение Нетеса

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

С помощью Аэлины, эльфийки с тёмным прошлым, и Даррена, чародея с кровавыми долгами, Кайл бросает вызов проклятым лесам, летающим крепостям и мирам вне времени. Но сила клинка требует жертв: чтобы спасти Тенир, Кайл рискует стать тем, кого ненавидит.

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

книги про волшебников

фэнтези про драконов

Хроники Закатного Клинка

Серьезный современный бандит покупает привлекательную девушку и влюбляется в нее.

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

Сделка на счастье

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

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

эротические романы

эротические рассказы и истории

Когда цветёт липа

Третий день весны – день их знакомства и вместо подарка или каких-либо праздничных мероприятий она просит провести его с ней и поиграть в игру, которую она назвала: «день откровений». Этот день они проведут вдвоём, будут делать только то, что захотят, и он расскажет ей про свой тернистый, но исключительно правдивый путь к ней. Но что, если эта вполне безобидная на первый взгляд игра, окажется вовсе не такой, какой он себе её представлял? Ведь придёт время, когда настанет её очередь откровенничать и тогда перед ним откроется то, чего он предпочёл бы не знать. Будет ли его жизнь прежней и сможет ли он и дальше жить иллюзиями, которыми наполнено его сердце?

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

От Я до А или коньяк, коты и сигареты

Однажды в канун Рождества Лева разыгрался, раздухарился и обнаружил себя на одном из знаменитых чердаков старого Парижа спящим сидя, прислонившись спиной к горячему дымоходу. Теперь он маленький трубочист Левка, весь черный от сажи, пробрался туда погреться. Но он там не один, а в компании таких же черных, как и он, чердачных драных котов... Рождество на крыше Парижа! Вот это приключение!

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

книги для детей

книги для дошкольников

Лева, маленький трубочист в Рождественском Париже

Здравствуйте, дорогие мои читатели.
В этой книге представлены произведения, побуждающие к размышлениям о простом и вечном, о добре и зле, о благородности и подлости, и о многих других человеческих качествах, скрытых внутри нас.
Желаю приятного прочтения.
С уважением, Сергей.

фольклор

Мораль в простых истинах. Притчи

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

Static Analysis of Software. The Abstract Interpretation

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