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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The New Revolution in Psychology and the Neurosciences
$99.99
Leitfaden der Desinfektion fr Desinfektoren und Krankenpflegepersonen in Frage und Antwort
$69.99
ISSE 2010 Securing Electronic Business Processes
$54.99
Food Properties and Computer-Aided Engineering of Food Processing Systems
$259.00
Benchmarking Collaborative Networks
$54.99
Dermatology
$39.99
My First Reader: Good Food
$3.71
Website Marketing
$59.99
The Relativistic Deduction
$39.99
Control of Machines with Friction
$129.00
Current Environmental Issues and Challenges
$54.99
The Palgrave Handbook of Gender, Sexuality, and Canadian Politics
$219.99
Digital Bodies
$129.99
Atlas der Positronen-Emissions-Tomographie des Gehirns / Atlas of Positron Emission Tomography of th
$44.99
Nature-Inspired Intelligent Computing Techniques in Bioinformatics
$149.00
Intelligent Robotics and Applications
$84.99
Parteiensystem in der Legitimationskrise
$59.99
Intangible Cultural Heritage and Sustainable Development
$89.00
Generationen der Armut
$59.99
Psycho-Oncology
$139.99
Lehrerbildung: Zentren fr Lehrerbildung
$59.95
The Internal Senses in the Aristotelian Tradition
$129.99
Proceedings of International Joint Conference on Advances in Computational Intelligence
$299.99
Economic Policy for Growth
$84.99
Engineering Society
$39.99
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
$109.00
Handbook of Zen, Mindfulness, and Behavioral Health
$229.00
Integration von Goodwill-Bilanzierung und wertorientierter Unternehmenssteuerung
$59.99
Transmediating the Whedonverse(s)
$99.99
Rotordynamics of Gas-Lubricated Journal Bearing Systems
$84.99
The Use of First and Second Language in Chinese University EFL Classrooms
$54.99
Model and Data Engineering
$69.99
Markteintrittsentscheidungen
$59.99
Ein Beitrag zur Kenntnis von den sogenannten Interglobularrumen im menschlichen und tierischen Za
$54.99
The Palgrave Handbook of Criminology and the Global South
$299.00
Emerging Technologies for Developing Countries
$44.99
In Vitro Haploid Production in Higher Plants
$169.99
Neo-liberalism and the Architecture of the Post Professional Era
$109.99
Algebra, Funktionalanalysis und Codierung
$44.99
Recent Advances in Network Simulation
$179.99
