Name: Industrial Use of Formal Methods: Formal Verification (en Inglés)
Price: 687741.00 COP
Availability: InStock
Author: Boulanger, Jean-Louis
ISBN: 9781848213630

portada Industrial Use of Formal Methods: Formal Verification (en Inglés)

Industrial Use of Formal Methods: Formal Verification (en Inglés)

Formato

Libro Físico

Editorial

Wiley-Iste

Autor

Boulanger, Jean-Louis

Idioma

Inglés

N° páginas

314

Encuadernación

Tapa Dura

Dimensiones

23.6 x 15.7 x 2.3 cm

Peso

0.61 kg.

ISBN

1848213638

ISBN13

9781848213630

Categorías

Producción e ingeniería industrial
Programación informática/desarrollo de software

Industrial Use of Formal Methods: Formal Verification (en Inglés)

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

Libro Nuevo Importado

Envío: 13 a 17 días háb.

$ 1.146.235$ 687.741

-40%

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

Libro Nuevo

Quedan 51 unidades

$ 687.741

¡Envío Gratis! Llega entre el 08 Jul y el 15 Jul a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Industrial Use of Formal Methods: Formal Verification (en Inglés)"

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based. The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow to supply new useful information (photos, plan of architecture, real example).