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
Verification of Reactive Systems
Best Price (Coupon Required):
Buy Verification 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
Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible. This book is devoted to the foundation of the most popular formal methods for the specification and verification of reactive systems. In particular, the -calculus, omega-automata, and temporal logics are covered in full detail; their relationship and state-of-the-art verification procedures based on these formal approaches are presented. Furthermore, the advantages and disadvantages of the formalisms from particular points of view are analyzed. Most results are given with detailed proofs, so that the presentation is almost self-contained. This book is targeted to advanced students, lecturers and researchers in the area of formal methods.
Reviews
Questions & Answers
Art and Intercultural Dialogue
$39.99
Kommunikation ber Kommunikation
$69.99
On the Move to Meaningful Internet Systems: OTM 2012
$54.99
The Micro-World Observed by Ultra High-Speed Cameras
$129.00
Warnungs- und Ermahnungsruf an Herrn Kultusminister Haenisch und Genossen
$44.99
Magnetresonanztomographie
$149.00
The Visible and the Invisible in the Interplay between Philosophy, Literature and Reality
$129.00
The Russo-Japanese War in Cultural Perspective, 190405
$84.99
Radiotherapy of Liver Cancer
$159.99
Theorie der Wechselstrme
$84.99
Hans Spemann 18691941 Experimentelle Forschung im Spannungsfeld von Empirie und Theorie
$59.99
Nationalism and the Politicization of History in the Former Yugoslavia
$159.99
XLVI Mexican Conference on Biomedical Engineering
$149.00
The Indian Law Legacy of Thurgood Marshall
$54.99
Fungal RNA Biology
$129.00
Modern Optimization with R
$54.99
Biomineralization II
$219.99
Police and International Peacekeeping Missions
$169.99
Biochemistry and Genetics of Recq-Helicases
$84.99
Physicalism in Mathematics
$169.99
Youth Participation and Learning
$119.00
String Topology and Cyclic Homology
$29.99
Pioneers of Color Science
$159.99
Space Division Multiple Access for Wireless Local Area Networks
$84.99
Die Quantitative Organische Mikroanalyse
$54.99
Chromatin
$199.99
Imagerie Mdicale et Systmes Experts
$54.99
International Assistance to Police Reform
$54.99
Autoionization
$39.99
Oesophagus
$59.99
Readings in Industrial Economics
$54.99
Betriebswirtschaftslehre und Theorie der Verfgungsrechte
$74.99
The Sol to Gel Transition
$44.99
Affekt, Kalkulation und soziale Relation
$69.99
New York Cocktails- An Elegant Collection of over 100 Recipes Inspired by the Big Apple (Travel Cookbooks, Nyc Cocktails and Drinks, History of Cockta
$22.95
Quadrilingual Economics Dictionary
$219.99
Sampling for Natural Resource Monitoring
$249.99
Sinnesphysiologie
$69.99
Broadband as a Video Platform
$84.99
Enterprise Risk Management in International Construction Operations
$84.99
