Copied Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
