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

Static Analysis of Software. The Abstract Interpretation

$ Бесплатная книга
static-analysis-of-software-the-abstract
Автор:
Описание книги

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).

Цена:20629.80 руб.
Язык:   Английский
Просмотры:   292

Скачать ознакомительный фрагмент
ЧТО КАЧАТЬ и КАК ЧИТАТЬ КУПИТЬ И СКАЧАТЬ ЗА: 20629.80 руб.
Наш литературный журнал Лучшее место для размещения своих произведений молодыми авторами, поэтами; для реализации своих творческих идей и для того, чтобы ваши произведения стали популярными и читаемыми. Если вы, неизвестный современный поэт или заинтересованный читатель - Вас ждёт наш литературный журнал.