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
Pituitary Adenylate Cyclase Activating Polypeptide PACAP
$219.99
Controlling Reproduction
$109.99
Umweltgeochemie
$74.99
The Life and Poems of a Cuban Slave
$109.99
Electromechanical Sensors and Actuators
$129.99
The Sales Sat Nav for Media Consultants
$64.99
Interdisziplinre Anthropologie
$59.99
Software Technologies for Embedded and Ubiquitous Systems
$39.99
Mathematische Wissensentwicklungsprozesse von Schlerinnen und Schlern
$79.99
Tuck Everlasting by Natalie Babbitt
$9.99
Prozeorientiertes Management
$49.95
Seeking Higher Ground
$54.99
True Nutrition, True Fitness
$54.99
Symbolic Analysis and Reduction of VLSI Circuits
$109.99
MRCP
$54.99
Basale Soziologie: Theoretische Modelle
$44.99
Strategic Marketing and Innovation for Indian MSMEs
$39.99
Symmetric Functions: A Beginner's Course
$54.99
Visualisierung digitaler Gelnde- und Landschaftsdaten
$129.00
Donavan's Word Jar
$5.21
Mechanics of Granular Media
$169.99
Statistische Auswertung von Thomasroheisenproben guter und schlechter Verblasbarkeit
$54.99
Mathematics and Control Engineering of Grinding Technology
$39.99
Sociology of South Asia
$119.00
The Host-Plant in Relation to Insect Behaviour and Reproduction
$84.99
Unfortunate Objects
$84.99
Institutional Racism in Psychiatry and Clinical Psychology
$89.00
Production-oriented and Comprehension-based Grammar Teaching in the Foreign Language Classroom
$84.99
Prospects for Middle Eastern and North African Economies
$129.00
The Police, Public Order and the State
$44.99
Discrete Mathematics
$39.99
Information Security
$69.99
Erasmi Opuscula
$54.99
Unternehmen steuern mit Controlling
$69.99
National Geographic Birding Basics- Tips, Tools, and Techniques for Great Bird-watching by Noah Strycker
$24.99
Coping with Retail Giants
$109.99
Energy in Physics, War and Peace
$169.00
Sudden Infant Death Syndrome
$109.99
Exploring, Investigating and Discovering in Mathematics
$54.99
Intermediate Dynamics
$54.99
