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

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

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

Similar Products

Progressive Censoring

$199.00

Achieving Consensus in Robot Swarms

$99.00

Steuern im Entscheidungsorientierten Rechnungswesen

$59.99

Symbolic Rewriting Techniques

$39.99

Artificial Intelligence and Business Transformation

$179.99

Interculturalism: The New Era of Cohesion and Diversity

$39.99

How Crises Shaped Economic Ideas and Policies

$54.99

Der Vertrag von Lissabon

$39.99

Eine Mediengeschichte des Bildschirms

$64.99

'Bad' Women of Bombay Films

$129.99

Critical Identities in Contemporary Anglophone Diasporic Literature

$54.99

Matrilineal, Matriarchal, and Matrifocal Islam

$139.99

Seafood Regulations Compliance Manual

$169.00

Immunhistochemie der Tumoren des Nervensystems

$69.99

Maschinenelemente

$84.99

Supply Chain Social Sustainability for Manufacturing

$84.99

The ABSITE Blueprints

$99.99

Strategic Sales Management

$89.99

Das Neutralittsprinzip im harmonisierten Mehrwertsteuersystem

$89.99

Ethical Literacies and Education for Sustainable Development

$129.99

Kreditwesengesetz

$59.99

Current Issues in Quantum Logic

$109.00

Fhrer durch die Technische Mechanik

$59.99

Acoustics and Vibration of Mechanical StructuresAVMS 2019

$169.99

Mechanics of Breathing

$169.99

Nonsmooth Mechanics

$129.00

Advances in Natural Language Processing

$109.99

The Political Role of International Trades Unions

$44.99

Orphan Lung Diseases

$139.00

Empfehlungen zum Einsatz und zur Verwendung der Herz-Lungen-Maschine

$54.99

Die Oxydativen Grungen

$69.99

e-Citizens

$54.99

Zahngesundheit und Leistungsfhigkeit

$19.99

Vergessen Sie alles ber Verkaufen

$34.99

Representations of Fundamental Groups of Algebraic Varieties

$34.99

Tafeln und Selektor der Akupunktur

$54.99

Manual of Ambulatory General Surgery

$69.99

The Kings Bishops

$109.99

Charlie Hernndez: Charlie Hernndez & the Castle of Bones

$7.46

Die Boltzmann-Gleichung: Modellbildung Numerik Anwendungen

$39.99