Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540459651
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

El diario de Pedro

$4.49

Revitalization of Waqf for Socio-Economic Development, Volume I

$199.99

Mdchenfreundschaften in der Adoleszenz

$64.99

Policing in Hong Kong

$84.99

New Dialectics and Political Economy

$89.00

Landscape Ecology: A Widening Foundation

$169.99

Molecular Characterization of Composite Interfaces

$59.99

Entwicklung und Anwendung mathematischer Modelle fr die Erfassung der Strmungsvorgnge in gasbehei

$59.99

Design Thinking in Healthcare

$44.99

Low Frequency Radio Astronomy and the LOFAR Observatory

$109.00

Echoviruses and Reoviruses

$44.99

The Changing Structure of Labour in Japan

$109.99

Krise und Reform als brgerliches Projekt

$129.99

Organic Free Radicals

$109.99

Cardiovascular Engineering

$199.99

Lectures on Solar Physics

$84.99

Was Sie im Alltag von Soldaten lernen knnen

$17.99

Quantum Mechanics, Mathematics, Cognition and Action

$129.00

Design of Underground Structures

$49.99

Systematics and the Properties of the Lanthanides

$169.00

The Lure of Fascism in Western Europe

$39.99

Gender, Race, and Class in the Lives of Todays Teachers

$169.99

Crop Pests in the UK

$39.99

Fundamentals of Bile Duct Injuries

$119.99

Diagnostic Virology Protocols

$89.00

Mathematical Reasoning: The History and Impact of the DReaM Group

$179.99

Rational Homotopy Theory and Differential Forms

$159.99

Das Europische Unternehmensstrafrecht in Kartellsachen

$44.99

Wege zur Studienberechtigung Wege ins Studium?

$49.99

Basic Neurobiology Techniques

$169.99

The Provincial and The Postcolonial in Cultural Texts from Late Modern Turkey

$129.99

Clinical Cases in Exfoliative Dermatitis

$109.99

Proportional Representation

$49.99

US Human Rights Conduct and International Legitimacy

$54.99

War and Family Life

$109.99

Global Sustainability

$149.00

On Globalization

$109.99

The Diplomacy of Isolation

$84.99

Semigroups in Geometrical Function Theory

$54.99

Technological Systems in the Bio Industries

$129.00