Name: Formal Methods Applied to Industrial Complex Systems (en Inglés)
Price: 243.79 USD
Availability: InStock
Author: Boulanger, Jean-Louis
ISBN: 9781848216327

portada Formal Methods Applied to Industrial Complex Systems (en Inglés)

Formal Methods Applied to Industrial Complex Systems (en Inglés)

Formato

Libro Físico

Editorial

Wiley-Iste

Autor

Boulanger, Jean-Louis

Tema

Us Gr Iste

Idioma

Inglés

N° páginas

480

Encuadernación

Tapa Dura

Dimensiones

23.4 x 15.7 x 3.0 cm

Peso

0.82 kg.

ISBN

1848216327

ISBN13

9781848216327

Categorías

Ingeniería: general
Ingeniería electrónica
Ciencias de la computación

Formal Methods Applied to Industrial Complex Systems (en Inglés)

Boulanger, Jean-Louis (Autor) · Wiley-Iste · Tapa Dura

Libro Nuevo Importado

Envío: 25 a 33 días háb.

$ 443.25$ 243.79

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 15 unidades

$ 243.79

Llega entre el 16 Sep y el 30 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Methods Applied to Industrial Complex Systems (en Inglés)"

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