Читайте только на Литрес

Kitab fayl olaraq yüklənə bilməz, yalnız mobil tətbiq və ya onlayn olaraq veb saytımızda oxuna bilər.

Основной контент книги Formal Methods Applied to Complex Systems
Mətn PDF

Kitabın müddəti 512 səhifə

0+

Formal Methods Applied to Complex Systems

Implementation of the B Method
Читайте только на Литрес

Kitab fayl olaraq yüklənə bilməz, yalnız mobil tətbiq və ya onlayn olaraq veb saytımızda oxuna bilər.

416,45 ₼
10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 41,65 ₼ əldə edin.

Kitab haqqında

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).

Janr və etiketlər

Daxil olun, kitabı qiymətləndirmək və rəy bildirmək üçün
Kitab «Formal Methods Applied to Complex Systems» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş həddi:
0+
Litresdə buraxılış tarixi:
22 iyul 2018
Həcm:
512 səh.
ISBN:
9781119002680
Ümumi ölçü:
9.5 МБ
Səhifələrin ümumi sayı:
512
Naşir:
Müəllif hüququ sahibi:
John Wiley & Sons Limited
Audio
Средний рейтинг 4,4 на основе 17 оценок
Audio
Средний рейтинг 4,2 на основе 878 оценок
Mətn, audio format mövcuddur
Средний рейтинг 4,8 на основе 1173 оценок
Audio
Средний рейтинг 4,8 на основе 5112 оценок
Mətn
Средний рейтинг 4,9 на основе 162 оценок
Audio
Средний рейтинг 4,6 на основе 960 оценок
Mətn, audio format mövcuddur
Средний рейтинг 4,7 на основе 7055 оценок
Mətn
Средний рейтинг 4,6 на основе 221 оценок
Mətn, audio format mövcuddur
Средний рейтинг 4,9 на основе 389 оценок
Былины
Коллектив авторов
Audio
Средний рейтинг 0 на основе 0 оценок
Сказки маленькой феи
Коллектив авторов
Audio
Средний рейтинг 5 на основе 1 оценок
Mətn PDF
Средний рейтинг 0 на основе 0 оценок
Mətn PDF
Средний рейтинг 0 на основе 0 оценок
Mətn PDF
Средний рейтинг 0 на основе 0 оценок
Mətn PDF
Средний рейтинг 0 на основе 0 оценок
Audio
Средний рейтинг 0 на основе 0 оценок
Audio
Средний рейтинг 0 на основе 0 оценок
Mətn
Средний рейтинг 0 на основе 0 оценок
Audio
Средний рейтинг 0 на основе 0 оценок