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 (Coupon Required):
Buy Formale Modelle der Softwareentwicklung for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | 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
Geospatial Technologies for Land and Water Resources Management
$179.99
Philomathes
$169.00
Der It-Kalkl
$39.99
Imaging in Stem Cell Transplant and Cell-based Therapy
$84.99
Das Ich-will-mehr-Prinzip
$44.99
Retail Banking im Informationszeitalter
$54.99
First Little Readers: Guided Reading Levels I & J (Multiple-Copy Set)
$69.74
Digital Activism, Community Media, and Sustainable Communication in Latin America
$84.99
Turnpike Phenomenon and Symmetric Optimization Problems
$129.99
Recess Is a Jungle!: A Branches Book (Eerie Elementary #3)
$5.24
Die Wasserbindung an Tonen und ihre Bedeutung fr die Festigkeit des Gieereiformsandes
$59.99
Pattern Recognition - Applications and Methods
$169.99
ffentliche Streitfragen in privaten Fernsehprogrammen
$44.99
Highway Travel Time Estimation With Data Fusion
$84.99
Canada's Defence Procurement Woes
$129.99
Essentials of Antimicrobial Pharmacology
$109.99
Digitale Transformation in der ffentlichen Verwaltung
$59.99
Renewable Hydrogen
$99.99
Functional Fracture Bracing
$329.99
Narrating the Past
$54.99
Ditkatalog
$69.99
Advances in Knee Ligament and Knee Preservation Surgery
$179.99
Methods of Cancer Diagnosis, Therapy, and Prognosis
$259.00
Communication and Health
$139.99
Mechanism of Action of Antieukaryotic and Antiviral Compounds
$109.99
Die Ermittlung der Planzahlen fr die Plankostenrechnung
$59.99
Boolean Semantics for Natural Language
$169.99
Proceedings of the Tenth International Forum of Decision Sciences
$169.00
Antimicrobial Peptides and Human Disease
$169.00
Psychological Economics
$39.99
Silver Jaguar Society Mysteries: Capture the Flag
$6.74
Noise Generation and Control in Mechanical Engineering
$54.99
Principles of Neural Model Identification, Selection and Adequacy
$109.99
Der Fernsprechverkehr als Massenerscheinung mit starken Schwankungen
$59.99
Lasers in Medicine
$79.00
Der Angriff eisengesttigter Zinkschmelzen auf silizium- und manganhaltiges Eisen
$59.99
Enlightened Virginity in Eighteenth-Century Literature
$39.99
Kunststoffe
$269.00
Vermgensverwaltung 1999
$49.99
Viability and Resilience of Complex Systems
$84.99
