Name: Verification-Based Software-Fault Detection (en Inglés)
SKU: 63266838
Price: 61.79 USD
Availability: InStock
Author: Christoph David Gladisch
ISBN: 9783866446762

Selecciona tu país

América

Europa

Resto del mundo

portada Verification-Based Software-Fault Detection (en Inglés)

Verification-Based Software-Fault Detection (en Inglés)

Formato

Libro Físico

Editorial

Kit Scientific Publishing

Autor

Christoph David Gladisch

Idioma

Inglés

N° páginas

290

Encuadernación

Tapa Blanda

ISBN13

9783866446762

Verification-Based Software-Fault Detection (en Inglés)

Christoph David Gladisch (Autor) · Kit Scientific Publishing · Tapa Blanda

Libro Nuevo Importado

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

$ 102.98$ 61.79

-40%

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

Libro Nuevo

Quedan 10 unidades

$ 61.79

Llega entre el 06 Nov y el 19 Nov a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Verification-Based Software-Fault Detection (en Inglés)"

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.