Copied Formale Modelle der Softwareentwicklung
Formale Modelle der Softwareentwicklung
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.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Persnlichkeit, soziale Netzwerke und Leistung von Erfindern
$59.99
Betriebswirtschaftliche Analyse von Insolvenzen bei mittelstndischen Einzelhandlungen
$59.99
Practical Python AI Projects
$39.99
Information Security in Financial Services
$84.99
Passage of High Energy Particles through Matter
$54.99
Voice and Speech Quality Perception
$169.99
Applications of Evolutionary Computation
$109.99
Numerical Mathematics
$54.99
Images of Biologically Active Structures in the Immune System
$109.99
The Molecular Immunology of Complex Carbohydrates 2
$219.99
Wasserbau, Siedlungswasserwirtschaft, Abfalltechnik
$59.99
Digitale Signatur
$17.99
Corporate Finance, Innovation, and Strategic Competition
$109.99
The Breadth of Symplectic and Poisson Geometry
$139.00
Solvation Dynamics
$79.99
Complex Networks
$109.99
Versuch und Irrtum
$19.99
Etwas Analysis
$34.99
Hal Leonard - John Thompson's Easiest Piano Course Part 1 Instructional Book
$16.99
Flexibility, Resilience and Sustainability
$139.00
Gesundheit in Sportunterricht und Sportlehrerbildung
$54.99
Kundenorientierte Softwareproduktentwicklung
$39.99
Labor Markets in Asia
$109.99
Festkrperprobleme 9
$54.99
Applied Interval Analysis
$109.99
Die individuelle mathematische Kreativitt von Schulkindern
$49.99
Rules and Reasoning
$69.99
Harry Potter and the Goblet of Fire
$9.74
Cyber Commerce Reframing
$39.99
International Perspectives on English as a Lingua Franca
$54.99
Optimal Control of Constrained Piecewise Affine Systems
$84.99
Optimierung der Oberflchenmikrogeometrie von Aluminiumfeinblech fr das Karosserieziehen
$69.99
Calculus I
$54.99
Group Representation for Quantum Theory
$129.00
Pagan Ethics
$129.00
SAP on the Cloud
$54.99
Herder Jahrbuch / Herder Yearbook 1994
$29.99
Advances in Computer Science and Ubiquitous Computing
$219.00
International Yearbook of Soil Law and Policy 2020/2021
$179.99
Thea Stilton: Thea Stilton and the Ghost of The Shipwreck (#3)
$6.74
