Jean-Louis Boulanger — Industrial Use of Formal Methods. Formal Verification, краткое содержание
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).
Чтобы оставить свою оценку, войдите или зарегистрируйтесь
📖 О книге «Industrial Use of Formal Methods. Formal Verification»
Книга «Industrial Use of Formal Methods. Formal Verification» от Jean-Louis Boulanger представлена в каталоге Книгизм. Произведение относится к жанру «Техническая литература». На странице книги вы можете скачать файл fb2 или сразу перейти к онлайн-чтению полной версии без регистрации.
🏷️ Жанры книги
Произведение «Industrial Use of Formal Methods. Formal Verification» относится к следующим жанровым направлениям каталога Книгизм:
👥 Похожие авторы в жанре
Если вам понравилась эта книга, обратите внимание на других популярных авторов в жанре «Техническая литература»:
❓ Часто задаваемые вопросы
Можно ли скачать книгу «Industrial Use of Formal Methods. Formal Verification» бесплатно?
Да, книга доступна для скачивания в формате fb2 без регистрации и без оплаты на сайте Книгизм. Файл сохраняет структуру глав, иллюстрации и метаданные — подходит для FBReader, Cool Reader, AlReader и других читалок на смартфоне или электронной книге.
Можно ли читать книгу «Industrial Use of Formal Methods. Formal Verification» онлайн без скачивания?
Да, полная версия произведения автора Jean-Louis Boulanger доступна для онлайн-чтения прямо в браузере. Откройте страницу книги, нажмите кнопку «Читать» — текст загрузится с пагинацией, настройкой шрифта, темой оформления и закладкой текущей позиции.
К какому жанру относится «Industrial Use of Formal Methods. Formal Verification»?
Книга относится к жанру «Техническая литература».
📲 Как читать книгу на Книгизм
Книга «Industrial Use of Formal Methods. Formal Verification» автора Jean-Louis Boulanger доступна на Книгизм бесплатно. Вы можете скачать файл fb2 для дальнейшего чтения в любой читалке (FBReader, Cool Reader, AlReader и других) на смартфоне, планшете или электронной книге. Формат fb2 сохраняет структуру глав, иллюстрации, оглавление и метаданные. Альтернатива — онлайн-чтение полной версии в браузере сразу без скачивания и без регистрации.