Jean-Louis Boulanger — Static Analysis of Software. The Abstract Interpretation, краткое содержание
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»
Jean-Louis Boulanger написал произведение «Static Analysis of Software. The Abstract Interpretation» , входящее в раздел «Программирование» на Книгизм. Полный текст доступен для онлайн-чтения и скачивания в fb2 без регистрации.
🏷️ Жанры книги
Произведение «Static Analysis of Software. The Abstract Interpretation» относится к следующим жанровым направлениям каталога Книгизм:
👥 Похожие авторы в жанре
Если вам понравилась эта книга, обратите внимание на других популярных авторов в жанре «Программирование»:
❓ Часто задаваемые вопросы
Можно ли скачать книгу «Static Analysis of Software. The Abstract Interpretation» бесплатно?
Да, книга доступна для скачивания в формате fb2 без регистрации и без оплаты на сайте Книгизм. Файл сохраняет структуру глав, иллюстрации и метаданные — подходит для FBReader, Cool Reader, AlReader и других читалок на смартфоне или электронной книге.
Можно ли читать книгу «Static Analysis of Software. The Abstract Interpretation» онлайн без скачивания?
Да, полная версия произведения автора Jean-Louis Boulanger доступна для онлайн-чтения прямо в браузере. Откройте страницу книги, нажмите кнопку «Читать» — текст загрузится с пагинацией, настройкой шрифта, темой оформления и закладкой текущей позиции.
К какому жанру относится «Static Analysis of Software. The Abstract Interpretation»?
Книга относится к жанру «Программирование».
📲 Как читать книгу на Книгизм
Книга «Static Analysis of Software. The Abstract Interpretation» автора Jean-Louis Boulanger доступна на Книгизм бесплатно. Вы можете скачать файл fb2 для дальнейшего чтения в любой читалке (FBReader, Cool Reader, AlReader и других) на смартфоне, планшете или электронной книге. Формат fb2 сохраняет структуру глав, иллюстрации, оглавление и метаданные. Альтернатива — онлайн-чтение полной версии в браузере сразу без скачивания и без регистрации.