Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formale Modelle der Softwareentwicklung

Formale Modelle der Softwareentwicklung

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783834895950
Condition
New
Product Description

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 Testanstzen spielen fr 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 przise definiert werden, kann man sogar verifizieren, dass die Anforderungen erfllt sind. Dieses Buch stellt unterschiedliche formale Modelle mit ihren Einsatzmglichkeiten und Werkzeugen vor. Dabei steht bewusst die Anwendung der Modelle und nicht die Theorie dahinter im Vordergrund.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Bildung Arbeit Erwachsenwerden

$44.99

Intelligent Systems and Machine Learning

$109.99

SL2(R)

$54.99

Management Models for Corporate Social Responsibility

$54.99

Ambulatory Electrocardiography

$79.99

Minimal Surfaces from a Complex Analytic Viewpoint

$139.99

From History to Herstory

$169.99

Circulatory and Developmental Aspects of Brain Metabolism

$54.99

Shopping Malls

$59.99

Prostate Cancer

$249.99

Science, Politics and the Public Good

$44.99

Job Scheduling Strategies for Parallel Processing

$54.99

The True Story of Modern Cosmology

$34.99

Ultralogic as Universal?

$99.99

Resilienz fr die VUCA-Welt

$74.99

Bezeugen

$69.99

Web Reasoning and Rule Systems

$54.99

Zur Zukunft der Controllingforschung

$89.99

Oral Microbiology

$74.99

Contesting British Chinese Culture

$99.99

Zeit in der Bildung zwischen Anthropozentrik und Verzweckung von Wissen

$59.99

Datenversorgung komponentenbasierter Informationssysteme

$39.99

Left Septal Fascicular Block

$109.99

Advanced Information Systems Engineering Workshops

$54.99

Migration, Religion and Early Childhood Education

$84.99

Colon Polypectomy

$54.99

The Hypnotists

$5.99

Praxisbuch Trauerbegleitung

$39.99

Research Misconduct as White-Collar Crime

$99.99

Reale Optionen

$99.99

Your True Moral Compass

$44.99

The Photographer as Autobiographer

$84.99

Data Mining for Design and Manufacturing

$169.99

Seedfolks

$7.46

Practical Blockchains and Cryptocurrencies

$59.99

A Womanist Pastoral Theology Against Intimate and Cultural Violence

$109.00

Western Views of Islam in Medieval and Early Modern Europe

$69.99

Data Engineering in Medical Imaging

$44.99

Zeiten des bergangs

$49.99

Die Komplexitt der Kriege

$49.99