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

Real-Time: Theory in Practice

Real-Time: Theory in Practice

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

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Vergleichende Untersuchungen am Schopper-Scheuerprfgert

$59.99

Do Not Lick This Book

$4.46

Deviance in Neo-Victorian Culture

$39.99

Clinical Xenotransplantation

$169.99

Directed Algebraic Topology and Concurrency

$84.99

Mortality and Its Risk Factors Among Professional Athletes

$39.99

Rumi and Shams Silent Rebellion

$129.99

Primary and Revision Total Ankle Replacement

$249.99

Die Entwicklung von Grundstzen ordnungsmiger Prognosebildung auf Basis der GoB

$59.99

Patch Testing and Prick Testing

$139.99

American Slaves and African Masters

$54.99

Galileo and 400 Years of Telescopic Astronomy

$24.99

Computer Science Logic

$39.99

The Statesman's Yearbook 2000

$69.99

Raspberry Pi GPU Audio Video Programming

$79.99

Heterogeneous Memory Organizations in Embedded Systems

$39.99

Stochastic Recursive Algorithms for Optimization

$84.99

Human Language Technology. Challenges for Computer Science and Linguistics

$54.99

Oxathiine, Dithiine und Thiomorpholine auf Basis billiger Rohstoffe (Synthesen und Reaktionsverhalte

$69.99

Globalization and Its Impacts on the Quality of PhD Education

$49.99

E-Learning Networked Environments and Architectures

$169.99

Bosnian Post-Refugee Transnationalism

$54.99

Absteckungstafeln fr Eisenbahn- und Strassenbau

$59.99

Applications in Electronics Pervading Industry, Environment and Society

$169.00

Neutrophil

$129.99

The Many Faces of Maxwell, Dirac and Einstein Equations

$129.99

Current Directions in ICT and Society

$109.00

Sketching for Architecture + Interior Design: A Practical Guide on Sketching for Architecture and Interior Design Students by Stephanie Travis

$24.99

Theories and Simulations of Complex Social Systems

$109.99

Algorithms - ESA '94

$39.99

Nonlinear Time Series Analysis of Economic and Financial Data

$329.99

Computer Security - ESORICS 2000

$54.99

Omnidirectional Vision Systems

$39.99

Improving the Efficiency of R&D and the Market Diffusion of Energy Technologies

$109.99

Lehrbuch der Nervenkrankheiten

$49.99

Examining Neurocritical Patients

$169.99

Computergrafik in der Differentialgeometrie

$64.99

Sport Policy Systems and Sport Federations

$169.99

Verkaufen in China

$34.99

Ubiquitous Communications and Network Computing

$54.99