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 $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lbeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.
Reviews
Questions & Answers
Das neue Grundrecht auf Asyl
$74.99
The Politics of International Environmental Management
$129.00
New Perspectives on Cybercrime
$159.99
Human Resources Management
$44.99
Disability and Difference in Global Contexts
$54.99
Sintereisen und Sinterstahl
$64.99
Knowledge Engineering: Practice and Patterns
$109.99
Advances in One-Dimensional Wave Mechanics
$109.99
Incarcerated Young People, Education and Social Justice
$119.99
Strategieorientierte Personalentwicklung in Genossenschaftsbanken
$69.99
Visions of DNA Nanotechnology at 40 for the Next 40
$59.99
The Polarisation of US Society and its Representation in the Media
$99.99
Cybersecurity Awareness
$119.00
Stability and Stabilization of Infinite Dimensional Systems with Applications
$249.99
Bewertung von Innovationen im Mittelstand
$69.99
Relaxing and Contracting Factors
$219.99
A Space of Their Own: The Archaeology of Nineteenth Century Lunatic Asylums in Britain, South Austra
$169.99
Hyperspherical Harmonics
$129.00
Praxis der operativen Gynkologie
$59.99
Knstliche Intelligenz
$24.99
The Bayesian Choice
$79.99
Kardiovaskulre Erkrankungen und Nervensystem Neurotoxikologie Probleme des Hirntodes
$59.99
Rationality and Legality of Non-market Economy Treatment in Antidumping Law
$159.99
Faschismus
$39.99
Mathematica as a Tool
$69.99
Language Practices Among Children and Youth in Indonesia
$59.99
Multidisciplinary Approaches to Allergies
$219.99
Information Dynamics
$84.99
Die Drahtseile
$79.99
Strategy and Architecture of Health Care Information Systems
$39.99
Legal Protection against Breaches of Duty on the Part of the German Works Council A Fata Morgana?
$84.99
The Arabic Version of Euclids Optics
$129.00
Open Source Intelligence Investigation
$149.00
Using Central Neuromodulators and Psychological Therapies to Manage Patients with Disorders of Gut-B
$54.99
Literature 1981, Part 1
$84.99
Computational Science and Its Applications ICCSA 2018
$109.99
Genetically Modified Crops
$219.99
Quantum Plasmas
$109.99
Medizinische Physik 2
$139.99
Let's-Read-and-Find-Out Science: What's It Like to Be a Fish?
$6.71
