Menu
Виж статуса на поръчката
Свържете се с нас
Книга Formal Methods Applied to Industrial Complex Systems Jean-Louis Boulanger

Formal Methods Applied to Industrial Complex Systems

Автор: Jean-Louis Boulanger
Език: Английски език
Корици: С твърди корици
Издател: ISTE Ltd and John Wiley & Sons Inc
Наличност: Външен склад
Изпращаме след 14-20 дни
209.79 € 410.32 лв
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C...

Информация за книгата

Автор
Jean-Louis Boulanger
Език
Английски език
Корици
Книга - С твърди корици
Издадена
2014
страници
496
EAN
9781848217096
ISBN
1848217099
Enbook ID
05103844
Издател
ISTE Ltd and John Wiley & Sons Inc
Теглоt
884
Размери
161 x 241 x 32

Пълно описание

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.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.).

Може също да ви хареса

Famous Missions of California

William Henry Hudson
13.32 € 26.04 лв

Dynamic Research Support for Academic Libraries

Starr Hoffman
84.84 € 165.93 лв

Environmental Engineering: Review for the Professional Engineering Examination

Ashok V. Naimpally
59.36 € 116.09 лв

Клиенти, които купиха тази книга, купиха също

Aller Anfang ist leicht

Susanne Holmes
21.36 € 41.77 лв

Eduquer Et Prier

Marion Isvi
62.07 € 121.40 лв

Voprosy po kursu "Filosofiya"

Gertruda Cukova
41.76 € 81.68 лв