Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formale Modelle der Softwareentwicklung
Best Price:
Buy Formale Modelle der Softwareentwicklung for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
Product Details
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.
Reviews
Questions & Answers
Automatic Layout Modification
$84.99
Video Bioinformatics
$109.99
Applications of Nonlinear Analysis
$179.99
Zen Ties (Hardcover)
$14.24
Commerce and Strangers in Adam Smith
$129.99
Non-Archimedean Analysis: Quantum Paradoxes, Dynamical Systems and Biological Models
$84.99
Lobbyismus und Transparenz
$69.99
Primre Dickdarmanastomosen bei Peritonitis
$69.99
Practical RichFaces
$49.99
The Many Lives of Mama Love- A Memoir of Lying, Stealing, Writing, and Healing by Lara Love Hardin
$28.99
Bank Magazin Taschenbuch 2000
$59.99
Shakespeare, Catholicism, and the Middle Ages
$69.99
Change in Societal Institutions
$39.99
Pro SQL Server 2012 Practices
$39.99
Die gegenwrtigen Behandlungswege der Kieferschussverletzungen
$59.99
Verfahrenstechnik und Baubetrieb im Grund- und Spezialtiefbau
$59.99
Kraftverbrauch von Frdermitteln
$59.99
Atlas of Renal Pathology
$39.99
Patient Krankenhaus
$49.99
Wertschtzende Gesprchsfhrung in der neuen Arbeitswelt 4.0
$17.99
The Future of Atmospheric Oxygen
$54.99
30 Kesselbleche mit Ribildung
$59.99
Faszination Kristalle und Symmetrie
$59.99
The Future of Law and eTechnologies
$159.99
Atlas of Differential Diagnosis
$99.00
Leadership, Gender, and Organization
$99.00
The Political Economy of Refugee Migration and Foreign Aid
$109.99
International Studies in Educational Inequality, Theory and Policy
$329.99
English Fiction Since 1984
$54.99
Augenmotilittsstrungen
$79.99
Ugly-Cute: What Misunderstood Animals Can Teach us About Life by Jennifer Mccartney
$14.99
Advances in Web-Based Learning ICWL 2023
$64.99
Lipschitz Functions
$54.99
Proceedings of the 6th International Asia Conference on Industrial Engineering and Management Innova
$189.00
Topics in Cryptology - CT-RSA 2009
$39.99
Introduction to the Theory of Lie Groups
$84.99
Software Engineering Education
$54.99
Projektkostenschtzung
$74.99
Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions
$54.99
The Camping Trip
$5.96
