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

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Specifying Message Passing and Time-Critical Systems with Temporal Logic

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

This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of languages like Ada. As for time-critical systems, among the growing number of real-time applications there are some highly critical systems such as computer controlled chemical plants and nuclear power stations. The monograph shows how standard temporal logic can be used for the specification of message passing systems, and develops a special temporal logic for reasoning about quantitative temporal properties.The main application area is that of distributed real-time systems.

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

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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

$39.99
See Site In stock Visit Store

Similar Products

Structural Information and Communication Complexity

$54.99

Fast Fourier Transform - Algorithms and Applications

$49.99

Soziale Herkunft und Bildungssprache

$44.99

Atlas of Ultrasound-Guided Procedures in Interventional Pain Management

$249.99

The Cochlea

$169.00

Molekulare Medizin in der Frauenheilkunde

$79.99

Decision and Game Theory for Security

$54.99

The Central European Magdalenian

$119.99

High-Throughput Metabolomics

$249.99

Two-Dimensional Electron Systems

$219.99

Adfection derer Crper

$59.99

Justice, Law, and Argument

$54.99

Research and Development in Intelligent Systems XXX

$219.99

Mathematical Foundations of Computational Engineering

$329.99

Bibliothek der Mediengestaltung Aufbauset Digitalmedien

$69.99

Regional Integration and Trade Liberalization in Subsaharan Africa

$169.99

Konfokale Mikroskopie in Wei

$59.99

Adjudicating Employment Rights

$54.99

Synchrotron Radiation in Chemistry and Biology II

$39.99

Confronting Orientalism

$37.99

ICREEC 2019

$219.99

Research and Development in Breast Ultrasound

$189.00

Kinderschutzbezogene Zusammenarbeit

$79.99

Multiword Expressions Acquisition

$109.99

Die soziale Verteilung politischen Wissens in Deutschland

$44.99

Hogwarts Library: The Illustrated Collection

$104.97

Public Memory, Public Media and the Politics of Justice

$54.99

Unilateral Biportal Endoscopic Spine Surgery

$159.99

Risiko und Verantwortung in der modernen Gesellschaft

$29.99

Goethe als Chemiker

$59.99

Aufgabensammlung Technische Mechanik 1

$44.99

Regionale Clusterfelder fr Erneuerbare Energien

$29.99

Convergence, Cohesion and Integration in the European Union

$129.00

Translational Research in Pain and Itch

$84.99

Handbook of Peripheral Nerve Entrapments

$89.00

The Scope and Structure of Civil Codes

$84.99

Oncologic Imaging: Spine and Spinal Cord Tumors

$129.99

Riemanns Boundary Problem with Infinite Index

$109.99

Government and Rural Development in East Africa

$54.99

IUTAM Symposium on Relations of Shell, Plate, Beam and 3D Models

$84.99