Copied Real-Time: Theory in Practice
Real-Time: Theory in Practice
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.
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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
