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
Solar Cooling
$159.99
Inflammation and Demyelination in the Central Nervous System
$109.99
Digital-Native News in South America
$119.99
Womens Homelessness in Europe
$99.99
Vorlesungen ber Technische Akustik
$54.99
International Conference on Innovative Computing and Communications
$189.00
Students in Twentieth-Century Britain and Ireland
$129.99
Sleep Disorders in Pediatric Dentistry
$139.99
Bonobos and People at Wamba: 50 Years of Research
$149.00
Effizienz des Rechnungswesens
$69.99
Handlungskompetenzen entwickeln am Lerngegenstand Kinderrechte
$69.99
Environmentally-Friendly Product Development
$259.00
Inverkehrbringen von Arzneimitteln und Medizinprodukten
$49.99
Womb Politics: A Short History of the Future of Human Reproduction
$54.99
News and Views
$74.99
bertragungstechnik
$34.99
Strategic Issues in Air Transport
$84.99
Curriculum Schule und aggressives Konflikthandeln
$59.99
The Development of Prime Number Theory
$179.99
Smart Trends in Information Technology and Computer Communications
$54.99
Complexes of Transition Metals
$39.99
Land Surface Evaporation
$89.00
Sustainable Communication Networks and Application
$169.00
Advanced Technology in Teaching - Proceedings of the 2009 3rd International Conference on Teaching a
$259.00
bergnge von der Schule in Ausbildung und Beruf
$34.99
Quantenoptik, Laser, nichtlineare Optik
$54.99
Prevention The Plant-Based Plan: Transform the Way You Eat (100+ Easy Recipes) by Prevention
$25.00
Sicherheit und Betriebsfestigkeit von Maschinen und Anlagen
$129.00
Applications of Artificial Intelligence in Planning and Operation of Smart Grids
$109.00
Self and Others
$109.99
Nonimaging Fresnel Lenses
$169.99
Water Supply Systems
$84.99
Absatzfrderung durch Absatzkredite an Abnehmer
$69.99
Swarm Stability and Optimization
$129.00
Annual Report on Chinas Petroleum, Gas and New Energy Industry (20222023)
$139.00
Methodische Probleme von Mixed-Mode-Anstzen in der Umfrageforschung
$39.99
Wirkstoffgruppen II
$74.99
Mountain Geoecology and Sustainable Development of the Tibetan Plateau
$129.00
High-Level Verification
$109.99
Ultracold Atoms for Foundational Tests of Quantum Mechanics
$39.99
