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 Techniques in Real-Time and Fault-Tolerant Systems
Best Price (Coupon Required):
Buy Formal Techniques in Real-Time and Fault-Tolerant 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 is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.
Reviews
Questions & Answers
Computer Arithmetic
$109.99
Soziologie im Deutschland der Weimarer Republik, des Nationalsozialismus und der Nachkriegszeit
$69.99
At the - Effects of Miniaturization in Insects
$169.99
Dictionary of Foreign Quotations
$29.99
Data Structures and Algorithms 3
$39.99
Climates and Societies - A Climatological Perspective
$169.99
Frontiers of High Pressure Research II: Application of High Pressure to Low-Dimensional Novel Electr
$169.99
Elephant in the Dark
$3.00
Leitfaden der Wohlfahrtspflege
$59.99
Beschwerdeverhalten und Kundenbindung
$69.99
Induced Pluripotent Stem Cells
$54.99
Oracle Application Express for Mobile Web Applications
$34.99
The Reinvention of Liberal Learning Around the Globe
$159.99
The Heterogeneity Link of the Welfare State and Redistribution
$109.99
Hebammenlehrbuch
$59.99
Proceedings of International Conference on Communication and Computational Technologies
$329.99
Bestcken von Leiterplatten mit Industrierobotern
$69.99
Psychologie der Weltanschauungen
$149.99
Preismanagement
$59.99
Chemiedidaktik
$84.99
TCTP/tpt1 - Remodeling Signaling from Stem Cell to Disease
$179.99
Children's Fractional Knowledge
$109.99
Pdagogisches Controlling
$64.99
Physiology of Biodegradative Microorganisms
$129.00
Alternative Assessments in Malaysian Higher Education
$129.00
Roy Jenkins and the European Commission Presidency, 1976 1980
$54.99
Ergebnisse der Inneren Medizin und Kinderheilkunde/Advances in Internal Medicine and Pediatrics
$69.99
Soziologie und Politik
$59.99
The British Empire in the 1950s
$109.99
C++ for Scientists, Engineers and Mathematicians
$74.99
Planen - Bauen - Umwelt
$99.00
Orifice Plates and Venturi Tubes
$199.99
Parallel Algorithms for Linear Models
$109.99
Chaos, Complexity and Leadership 2017
$219.99
Mareczek, Grundlagen der Roboter-Manipulatoren - SET
$49.99
Conflict in Family Businesses
$59.99
Spectral Theory of Hyponormal Operators
$54.99
Agroecology
$169.99
Keena Ford: Keena Ford and the Field Trip Mix-Up
$5.21
Applied Partial Differential Equations
$74.99
