Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

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: 1069.71 RON
Availability: InStock
Author: Jean-Louis Boulanger
ISBN: 9781848217096

Jean-Louis Boulanger

Limba

engleză

Carte Copertă tare

Codul Libristo: 05103844

Editura ISTE Ltd and John Wiley & Sons Inc, iulie 2014

A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, C... Descrierea completă

Codul Libristo: 05103844

494 b

1 069.71 lei

În depozitul extern Expediem în 14-20 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Aller Anfang ist leicht Susanne Holmes

Note muzicale

82.71 lei

Eduquer Et Prier Marion Isvi

Carte broșată

301.04 lei

Hazel Brugger passiert, 1 Audio-CD Hazel Brugger

Audio CD

137.37 lei

Cesar-Pierre Richelet (1626 - 1698) Laurent Bray

Copertă tare

601.98 lei

Voprosy po kursu "Filosofiya" Gertruda Cukova

Carte broșată

133.94 lei

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