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
Formal Development of Reactive Systems
Best Price:
Buy Formal Development of Reactive Systems 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
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.
Reviews
Questions & Answers
Der Ausbau der Kleinkinderfrsorge. Statistische Erhebungen ber die soziale Lage von Kindern
$54.99
Al-Si Alloys Casts by Die Casting
$54.99
Quantum Game Simulation
$109.99
Marketing fr Kunstausstellungen
$89.99
Die Nerineen der sterreichischen Gosauschichten
$59.99
Semantic Search over the Web
$54.99
Geofeminism in Irish and Diasporic Culture
$39.99
Innovation and Regional Technological Convergence
$37.99
Wrterbuch der Kraftbertragungselemente / Diccionario de elementos de transmisin / Glossaire des O
$49.99
Dispersion Stability, Microstructure and Phase Transition of Anisotropic Nanodiscs
$109.99
Gesundheitsversorgung zwischen Solidaritt und Wettbewerb
$37.99
Sozialversicherungsrecht in der Praxis
$59.99
A Review on Recent Echocardiographic Software
$139.99
Going the Distance
$39.95
The Way of Urbanizing China
$99.00
Lectures on Density Wave Theory
$74.99
Handbook of Pediatric Chronic Pain
$129.00
Arthur Goes to Camp (Arthur Adventures Series) by Marc Brown
$8.99
Regulatory Non-Coding RNAs
$89.00
The Oddmire: Changeling
$5.96
Zwischenbetriebliche Anwendungsintegration
$69.99
Elektrotechnisches Praktikum
$44.99
Rhapsodic by Laura Thalassa
$17.99
Gynkologie und Recht
$44.99
Climate Change and Conservation of Coastal Built Heritage
$119.99
Trevor Winchester Swan, Volume II
$99.00
Cervical Spine: Tricks and Traps
$54.99
Solar Prominences
$54.99
Die Einsatzmglichkeiten eines floatenden Lombardsatzes
$54.99
Engineering Thermofluids
$249.99
Ontologies-Based Databases and Information Systems
$39.99
Synthesis and Characterization of Piezotronic Materials for Application in Strain/Stress Sensing
$109.99
Fundamental Principles of General Relativity Theories
$39.99
Structure and Dynamics of the Interstellar
$74.99
Test Methods for Explosives
$219.00
Engineering of Functional Skeletal Tissues
$169.00
Erfolgsfaktoren Virtueller Unternehmen
$89.99
Measuring Multiple Intelligences and Moral Sensitivities in Education
$49.99
BGB: Schuldrecht
$59.99
Proceedings of Sixth International Conference on Soft Computing for Problem Solving
$129.00
