Name: Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (en Alemán)
SKU: 57966238
Price: 731.98 MXN
Availability: InStock
Author: Stephan Kleuker
ISBN: 9783834806697

portada Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (en Alemán)

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (en Alemán)

Formato

Libro Físico

Editorial

Vieweg+Teubner Verlag,

Autor

Stephan Kleuker

Idioma

Alemán

N° páginas

311

Encuadernación

Tapa Blanda

ISBN13

9783834806697

N° edición

2009th

Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (en Alemán)

Stephan Kleuker (Autor) · Vieweg+Teubner Verlag, · Tapa Blanda

Libro Nuevo Importado

Envío: 24 a 29 días háb.

$ 1,463.95$ 731.98

-50%

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

Libro Nuevo

Quedan 100 unidades

$ 731.98

¡Envío Gratis! Llega entre el 14 Oct y el 22 Oct a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formale Modelle der Softwareentwicklung: Model-Checking, Verifikation, Analyse und Simulation (en Alemán)"

Software muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt man sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansätzen spielen für den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle. Ein Modell erlaubt es, ein beliebiges sequenzielles oder verteiltes System zu analysieren und zu simulieren. Dadurch, dass Korrektheitsanforderungen präzise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfüllt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzmöglichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.