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

Foundations of Real-Time Computing: Formal Specifications and Methods

Foundations of Real-Time Computing: Formal Specifications and Methods

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

This volume contains a selection of papers that focus on the state-of the-art in formal specification and verification of real-time computing systems. Preliminary versions of these papers were presented at a workshop on the foundations of real-time computing sponsored by the Office of Naval Research in October, 1990 in Washington, D. C. A companion volume by the title Foundations of Real-Time Computing: Scheduling and Resource Management complements this hook by addressing many of the recently devised techniques and approaches for scheduling tasks and managing resources in real-time systems. Together, these two texts provide a comprehensive snapshot of current insights into the process of designing and building real time computing systems on a scientific basis. The notion of real-time system has alternative interpretations, not all of which are intended usages in this collection of papers. Different communities of researchers variously use the term real-time to refer to either very fast computing, or immediate on-line data acquisition, or deadline-driven computing. This text is concerned with the formal specification and verification of computer software and systems whose correct performance is dependent on carefully orchestrated interactions with time, e. g. , meeting deadlines and synchronizing with clocks. Such systems have been enabled for a rapidly increasing set of diverse end-uses by the unremitting advances in computing power per constant-dollar cost and per constant-unit-volume of space. End use applications of real-time computers span a spectrum that includes transportation systems, robotics and manufacturing, aerospace and defense, industrial process control, and telecommunications.

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

Single Product Purchase

$169.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
$169.99 $169.99

$169.99
See Site In stock Visit Store

Similar Products

Doppler-Effekt und Rotverschiebung

$17.99

Radiology Today 1

$84.99

Atmospheric Ozone Dynamics

$84.99

Challenging Cases in Paediatric Radiology

$89.00

Reactions in Compartmentalized Liquids

$109.99

Standardeinzelkostenrechnung fr Banken

$59.99

Gold(I,III) Complexes Designed for Selective Targeting and Inhibition of Zinc Finger Proteins

$109.99

Technologies for Sustainable Development

$129.00

Diagnosis and Endoscopic Management of Digestive Diseases

$109.99

Malignant Mesothelioma

$219.99

Statistical Physics

$39.99

Short-Term Dynamic Psychotherapy

$169.99

Looking for Alaska by John Green

$12.99

Understanding Chinese Culture

$109.99

Narcissism, Melancholia and the Subject of Community

$99.99

Zur Geschichte der Psychiatrie

$59.99

Camera Networks

$29.99

Joshua James Likes Trucks: 6-Book Set

$26.95

Electronic Government and the Information Systems Perspective

$54.99

Cancer and AIDS

$109.99

Weltordnung durch US-Leadership?

$69.99

Pretreatment Techniques for Biofuels and Biorefineries

$169.99

Superconductivity in d- and f-Band Metals

$54.99

Fluid and Thermodynamics

$169.99

From Despotism to Democracy

$89.99

Ergebnisse der Biologie

$59.99

Die Kunst der Dekolonisierung

$64.99

Prostate Cancer: Shifting from Morphology to Biology

$129.00

Advances in Robotics, Automation and Data Analytics

$219.99

Theoretische Betrachtungen ber den Bau der wandernden Zyklonen und ber die Strmungslinien der Luf

$54.99

Fracture of Non-Metallic Materials

$39.99

Lebensthema Sexualitt

$64.99

Die Pompejanische Wanddekoration vom Zweiten bis Zum Vierten Stil

$54.99

German-Australian Encounters and Cultural Transfers

$54.99

Perspectives on Interculturality

$54.99

Soft Computing for Problem Solving

$199.99

Strategic Medical Science Against Brain Attack

$109.99

Zur politischen Semantik der Revolution

$39.99

Northern Irish Poetry and the Russian Turn

$54.99

Raymie Nightingale

$6.71