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

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 Industrial Complex Systems
Mətn PDF

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

0+

Formal Methods Applied to Industrial Complex Systems

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

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

395,94 ₼
10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 39,60 ₼ əldə edin.

Kitab haqqında

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. 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 these “formal methods” (such as proof and model-checking) in industrial examples of complex systems.<br /> It is based on the experience of people who are currently involved in the creation and evaluation of safety critical system software. The involvement of people from within the industry allows us to avoid the usual problems of confidentiality which could arise and thus enables us 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 Industrial Complex Systems» — saytda onlayn oxuyun. Şərh və rəylərinizi qeyd edin, sevimlilərinizi seçin.
Yaş həddi:
0+
Litresdə buraxılış tarixi:
06 iyul 2018
Həcm:
478 səh.
ISBN:
9781119004844
Ümumi ölçü:
11 МБ
Səhifələrin ümumi sayı:
478
Naşir:
Müəllif hüququ sahibi:
John Wiley & Sons Limited
Audio
Средний рейтинг 4,5 на основе 15 оценок
Audio
Средний рейтинг 4,2 на основе 877 оценок
Mətn, audio format mövcuddur
Средний рейтинг 4,8 на основе 1172 оценок
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 на основе 220 оценок
Mətn, audio format mövcuddur
Средний рейтинг 4,9 на основе 388 оценок
Былины
Коллектив авторов
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 оценок