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
Environmental History of the Rhine-Meuse Delta
$219.99
Biomechanics and Biomaterials in Orthopedics
$129.00
Elastohydrodynamik Me- und Prfverfahren Eigenschaften von Motorenlen
$84.99
Knotentheorie fr Einsteiger
$39.99
Atlantic Metropolis
$119.99
Survey-Methoden in der Hochschulforschung
$84.99
The American Dream in the Information Age
$109.99
Proceedings of the XV Ibero-American Congress of Mechanical Engineering
$49.99
Nutritional and Medical Management of Kidney Stones
$139.99
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
$54.99
Psychoonkologie
$69.99
Ganzheitliche Bilanzierung
$59.99
Lehrbuch der Mathematischen Physik
$59.99
Negativauslese und Tarifdifferenzierung im Versicherungssektor
$49.99
Empirical Justification
$109.99
Architecture, Urban Space and War
$99.00
Constructing China's Capitalism
$54.99
Characterization Techniques of Glasses and Ceramics
$169.99
Plato and the Times He Lived in
$54.99
The Palgrave International Handbook of Healthcare Policy and Governance
$169.00
Arts and Culture for Older People in Singapore: An Annotated Bibliography
$54.99
Phytochemical Resources for Medicine and Agriculture
$219.99
Measures on Topological Semigroups: Convolution Products and Random Walks
$29.99
Graph Separators, with Applications
$84.99
Intelligent Information and Database Systems
$84.99
Catwad #2: It's Me, Two
$6.74
Cross-Magnetic Turbulent Diffusion of Charged Particles in a Weakly Ionized Plasma
$54.99
Genetic Mosaics and Chimeras in Mammals
$84.99
Operative Urology II
$84.99
Statistische Erklrungen. Deduktiv-nomologische Erklrungen in przisen Modellsprachen Offene Proble
$29.99
Anaerobes in Biotechnology
$169.00
Somatic Embryogenesis and Synthetic Seed II
$109.99
Design and Implementation of Fully-Integrated Inductive DC-DC Converters in Standard CMOS
$199.99
Children and the Afterlife of State Violence
$39.99
Essays on congruence theory in marketing
$39.99
Multidimensionale Datenbanksysteme
$69.95
A Transpacific Imagination of Theology, Ethics, and Spiritual Activism
$99.00
Local Firm Upgrading in Global Value Chains
$54.99
Tongue Ties
$39.99
Logic, Language, Information, and Computation
$44.99
