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

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

Həcm 478 səhifələri

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.

382,41 ₼
10% endirim hədiyyə edin
Bu kitabı tövsiyə edin və dostunuzun alışından 38,25 ₼ ə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
Mətn, audio format mövcuddur
Orta reytinq 4,7, 303 qiymətləndirmə əsasında
Audio
Orta reytinq 4,2, 744 qiymətləndirmə əsasında
Mətn, audio format mövcuddur
Orta reytinq 4,8, 92 qiymətləndirmə əsasında
Audio
Orta reytinq 4,7, 1755 qiymətləndirmə əsasında
Mətn, audio format mövcuddur
Orta reytinq 4,4, 49 qiymətləndirmə əsasında
Mətn, audio format mövcuddur
Orta reytinq 4,8, 17 qiymətləndirmə əsasında
Audio
Orta reytinq 4,7, 29 qiymətləndirmə əsasında
Audio
Orta reytinq 4,8, 80 qiymətləndirmə əsasında
Сказки маленькой феи
Коллектив авторов
Audio
Orta reytinq 5, 1 qiymətləndirmə əsasında
Mətn PDF
Orta reytinq 0, 0 qiymətləndirmə əsasında
Mətn PDF
Orta reytinq 0, 0 qiymətləndirmə əsasında
Audio
Orta reytinq 0, 0 qiymətləndirmə əsasında
Audio
Orta reytinq 0, 0 qiymətləndirmə əsasında
Mətn
Orta reytinq 0, 0 qiymətləndirmə əsasında
Audio
Orta reytinq 0, 0 qiymətləndirmə əsasında
Audio
Orta reytinq 0, 0 qiymətləndirmə əsasında