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

Acoustical Holography

$39.99

Emerging Nanomaterials

$199.99

Diffraction Optics of Complex-Structured Periodic Media

$129.00

Recent Advances in Parallel Virtual Machine and Message Passing Interface

$39.99

Entwicklung von Kundenbeziehungen

$59.99

English Language Ideologies in Korea

$99.99

Jugendkultur und Politisierung

$54.99

Vereinsrecht - Schnell erfasst

$24.99

Trust and Privacy in Digital Business

$54.99

The Parabolic Anderson Model

$129.99

Agenda HR Digitalisierung, Arbeit 4.0, New Leadership

$64.99

Wahrscheinlichkeitsrechnung und Statistik in Beispielen und Aufgaben

$44.99

Quietism, Agnosticism and Mysticism

$119.00

A Concise History of Indian Literature in English

$109.99

Double-Crush Syndrome

$109.99

Mapping Sustainability Measurement

$119.99

Autophagy and Cancer

$169.99

Logics in Artificial Intelligence

$39.99

Granddaddy's Turn

$5.96

Handbook of Food Fortification and Health

$89.00

Das Abendmahl des Leonardo da Vinci

$59.99

Olivia by Ian Falconer

$19.99

Medicinal and Aromatic Plants III

$169.99

The Varieties of Capitalism Paradigm

$84.99

Stress Response

$84.99

Mafic-ultramafic Intrusions in Beishan and Eastern Tianshan at Southern CAOB: Petrogenesis, Minerali

$84.99

Wundinfektionen in der Gefchirurgie

$64.99

Grundzge der Nichtlinearen Optimierung

$14.99

Molecular Mechanisms of Aging

$109.99

Alkoholabhngigkeit

$64.99

Karriere im Tourismus und in der Eventwirtschaft

$39.99

Wirtschaftsrecht 2

$39.99

Bad Kitty Gets a Bath

$5.21

Cardiac Surgery and Concomitant Disease

$54.99

Aktive Produktindividualisierung

$74.99

The Geological Evolution of the River Nile

$39.99

Anesthesiology: Today and Tomorrow

$39.99

Shifting Perspectives on the European Public Prosecutor's Office

$179.99

Renormalization Group Analysis of Equilibrium and Non-equilibrium Charged Systems

$109.99

Everyday Gender at Work in Taiwan

$99.99