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 (Coupon Required):
Buy Formal Development of Reactive Systems 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
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
Kompetenzbasiertes Management in der Produktentwicklung
$74.99
Tongue Ties
$39.99
Radiopharmaceutical Chemistry
$199.99
Nachbarschaftsvorstellungen und gelebte Nachbarschaft heute
$69.99
Morphological and Physical Classification of Galaxies
$169.00
A Tribute to the Legend of Professor C. R. Rao
$109.00
The Idea of Phenomenology
$54.99
Fish, Fishing and Community in North Korea and Neighbours
$59.99
Die Messung des zeitlichen Temperaturverlaufes in Gewebebahnen whrend einer Heibehandlung
$59.99
Influences of the IEA Civic and Citizenship Education Studies
$59.99
Kazakhstan and the Soviet Legacy
$139.99
Untersuchungen ber den Kunstgesang
$64.99
The Principles of Electromagnetic Theory and of Relativity
$39.99
Soft Computing for Intelligent Robotic Systems
$39.99
Proceedings of Industrial Engineering and Management
$219.99
Mechanism Design for Robotics
$249.99
Die Ventilatoren
$84.99
Probiotic Research in Therapeutics
$219.99
Erfolgsfaktoren der Innovativitt von kleinen und mittleren Unternehmen
$59.99
Management von Projektnetzwerken in dynamischen Dienstleistungsindustrien
$69.99
Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support
$54.99
Plastics Design Handbook
$329.99
Daily Math Starters: Grade 1
$9.74
Praxis der Milieutherapie
$84.99
Bankwirtschaft und Controlling Teil 2
$39.99
Neue Technologien neue Kindheiten?
$69.99
Applications of Systems Approaches at the Farm and Regional Levels
$219.99
Topics in Modal Analysis, Volume 7
$329.99
Orthopdie Unfallchirurgie
$44.99
Art, Literature and Culture from a Marxist Perspective
$54.99
Metaheuristic and Evolutionary Computation: Algorithms and Applications
$169.99
Der Beteiligungsprozess bei Wagniskapitalfinanzierungen
$74.99
Higher Order Partial Differential Equations in Clifford Analysis
$39.99
Rituale im Krankenhaus
$59.99
Visibility in Social Theory and Social Research
$54.99
Chaos: Concepts, Control and Constructive Use
$54.99
Between Export Promotion and Poverty Reduction
$39.99
Quantitative Modeling of Operational Risk in Finance and Banking Using Possibility Theory
$84.99
Agriculture, Recreation, Water Quality and Nature Protection in the Hula Valley, Israel
$169.99
Handbook of Food Processing Equipment
$129.00
