Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Formal Methods Applied to Industrial Complex Systems

Name: Formal Methods Applied to Industrial Complex Systems
Brand: ISTE Ltd and John Wiley & Sons Inc
SKU: 05103844
Price: 203.83 EUR
Availability: InStock
Author: Jean-Louis Boulanger
ISBN: 9781848217096

Jean-Louis Boulanger

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05103844

Nakladateľstvo ISTE Ltd and John Wiley & Sons Inc, júl 2014

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C... Celý popis

Libristo kód: 05103844

494 b

203.83 €

Skladom u dodávateľa Odosielame za 14-20 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Aller Anfang ist leicht Susanne Holmes

Noty

14.84 €

Eduquer Et Prier Marion Isvi

Brožovaná

54.23 €

Hazel Brugger passiert, 1 Audio-CD Hazel Brugger

Audio CD

26.15 €

Cesar-Pierre Richelet (1626 - 1698) Laurent Bray

Pevná

109.08 €

Voprosy po kursu "Filosofiya" Gertruda Cukova

Brožovaná

24.13 €

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